diff options
| author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-03-03 13:33:48 -0500 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2007-03-04 16:47:32 -0800 |
| commit | 1c95c565c2472a07be8316f2658e7100e62bf94d (patch) | |
| tree | 0f3da33592369010747e3df7e3a074f7ba4dda70 | |
| parent | 1c73bb0ef7bf6632d1aa5d6760bba7ea4e336fe9 (diff) | |
| download | git-1c95c565c2472a07be8316f2658e7100e62bf94d.tar.gz git-1c95c565c2472a07be8316f2658e7100e62bf94d.tar.xz | |
user-manual: ensure generated manual references stylesheet
The generated user manual is rather hard to read thanks to the lack of
the css that's supposed to be included from docbook-xsl.css.
I'm totally ignorant of the toolchain; grubbing through xmlto and
related scripts, the easiest way I could find to ensure that the
generated html links to the stylesheet is by calling xsltproc directly.
Maybe there's some better way.
Signed-off-by: "J. Bruce Fields" <bfields@citi.umich.edu>
Signed-off-by: Junio C Hamano <junkio@cox.net>
| -rw-r--r-- | Documentation/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index b6d1d8824..7c1c9e191 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -105,8 +105,11 @@ clean: user-manual.xml: user-manual.txt user-manual.conf $(ASCIIDOC) -b docbook -d book $< +XSLT = http://docbook.sourceforge.net/release/xsl/current/html/docbook.xsl +XSLTOPTS = --nonet --xinclude --stringparam html.stylesheet docbook-xsl.css + user-manual.html: user-manual.xml - xmlto html-nochunks $< + xsltproc $(XSLTOPTS) -o $@ $(XSLT) $< glossary.html : glossary.txt sort_glossary.pl cat $< | \ |