git/list[1] front-page[2] threads[3] people[4] search[5] about
 

[PATCH] Documentation: clarify meaning of --html-path, --man-path, and --info-path

From
Jonathan Nieder <jrnieder@gmail.com>
Date
May 2, 2011, 06:07 UTC
Message-ID
<20110502060745.GC14547@elie>
In-Reply-To
<1304237785-56101-1-git-send-email-jon.seymour@gmail.com>

These options tell UI programs where git put its documentation, so "Help" actions can show the documentation for *this* version of git without regard to how MANPATH and INFOPATH are set up. Details:

. Each variable tells where documentation is expected to be.  They do
  not indicate whether documentation was actually installed.
. The output of "git --html-path" is an absolute path and can be used
  in "file://$(git --html-path)/git-add.html" to name the HTML file
  documenting a particular command.
. --man-path names a manual page hierarchy (e.g.,
  /home/user/share/man).  Its output can be passed to "man -M" or put
  at the beginning of $MANPATH.
. --info-path names a directory with info files (e.g.,
  /home/user/share/info).  Its output is suitable as an argument to
  "info -d" or for inclusion in $INFOPATH.
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
---
Sorry for the long tangent.  Maybe a summary can be useful.
 Documentation/git.txt |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/Documentation/git.txt b/Documentation/git.txt
index 7e9b521..5295315 100644
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -287,16 +287,16 @@ help ...`.
 	the current setting and then exit.
 
 --html-path::
-	Print the path to wherever your git HTML documentation is installed
-	and exit.
+	Print the path, without trailing slash, where git's HTML
+	documentation is installed and exit.
 
 --man-path::
-	Print the path to wherever your git man pages are installed
-	and exit.
+	Print the manpath (see `man(1)`) for the man pages for
+	this version of git and exit.
 
 --info-path::
-	Print the path to wherever your git Info files are installed
-	and exit.
+	Print the path where the Info files documenting this
+	version of git are installed and exit.
 
 -p::
 --paginate::
-- 
1.7.5
Previous: Jonathan NiederNext: Jon Seymour
Message 12 of 14 in “Add --info-path and --man-path options to git.”
  1. Add --info-path and --man-path options to git.Jon Seymour, May 1, 2011
  2. Junio C HamanoMay 1, 2011
  3. Jon SeymourMay 1, 2011
  4. Jonathan NiederMay 1, 2011
  5. Jonathan NiederMay 1, 2011
  6. Junio C HamanoMay 2, 2011
  7. Jon SeymourMay 2, 2011
  8. Jon SeymourMay 2, 2011
  9. Jonathan NiederMay 2, 2011
  10. Junio C HamanoMay 2, 2011
  11. Jonathan NiederMay 2, 2011
  12. Documentation: clarify meaning of --html-path, --man-path, and --info-pathJonathan Nieder, May 2, 2011
  13. Jon SeymourMay 2, 2011
  14. Junio C HamanoMay 2, 2011

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.