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 /git-request-pull.sh | |
| parent | user-manual: reset to ORIG_HEAD not HEAD to undo merge (diff) | |
| download | tgif-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>
Diffstat (limited to 'git-request-pull.sh')
0 files changed, 0 insertions, 0 deletions