Merge remote branch 'remotes/origin/master'

This commit is contained in:
Rob Vermaas
2010-03-23 19:50:29 +00:00
parent fb294fa183
commit 45b4f045d3
3 changed files with 113 additions and 0 deletions

9
doc/manual/Makefile Normal file
View File

@ -0,0 +1,9 @@
DOCBOOK_FILES = installation.xml introduction.xml manual.xml
dblatex_opts = \
-P doc.collab.show=0 \
-P latex.output.revhistory=0
manual.pdf : $(DOCBOOK_FILES)
dblatex $(dblatex_opts) manual.xml