diff options
author | Jonas Fonseca <fonseca@diku.dk> | 2005-10-03 19:16:30 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-10-03 13:23:47 -0700 |
commit | df8baa42fe4eeb5a021ac262caf601f44d2a5746 (patch) | |
tree | a2e2c531e7e2718451f8357902ba3bdcc6571804 /Documentation/Makefile | |
parent | Error message from get_sha1() on ambiguous short SHA1. (diff) | |
download | tgif-df8baa42fe4eeb5a021ac262caf601f44d2a5746.tar.xz |
[PATCH] Random documentation fixes
The fixes focuses on improving the HTML output. Most noteworthy:
- Fix the Makefile to also make various *.html files depend on
included files.
- Consistently use 'NOTE: ...' instead of '[ ... ]' for additional
info.
- Fix ending '::' for description lists in OPTION section etc.
- Fix paragraphs in description lists ending up as preformated text.
- Always use listingblocks (preformatted text wrapped in lines with -----)
for examples that span empty lines, so they are put in only one HTML
block.
- Use '1.' instead of '(1)' for numbered lists.
- Fix linking to other GIT docs.
- git-rev-list.txt: put option descriptions in an OPTION section.
Signed-off-by: Jonas Fonseca <fonseca@diku.dk>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index aecae676de..bb21d6af44 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -53,6 +53,9 @@ install: man $(patsubst %.txt,%.1,$(wildcard git-diff-*.txt)): \ diff-format.txt diff-options.txt $(patsubst %,%.1,git-fetch git-pull git-push): pull-fetch-param.txt +$(patsubst %.txt,%.html,$(wildcard git-diff-*.txt)): \ + diff-format.txt diff-options.txt +$(patsubst %,%.html,git-fetch git-pull git-push): pull-fetch-param.txt git.7: ../README clean: |