doc: Add html, pdf.

* GNUmakefile (html, pdf): New target.
* .gitignore: Ignore html, pdf targets.
This commit is contained in:
Jan Nieuwenhuizen 2018-07-09 20:07:38 +02:00
parent a4943c1db1
commit 7f6676a4c2
No known key found for this signature in database
GPG key ID: F3C1A0D9C1D65273
2 changed files with 12 additions and 0 deletions

2
.gitignore vendored
View file

@ -60,7 +60,9 @@
/doc/fosdem/fosdem.tex /doc/fosdem/fosdem.tex
/doc/fosdem/fosdem.toc /doc/fosdem/fosdem.toc
/doc/fosdem/fosdem.*vrb /doc/fosdem/fosdem.*vrb
/doc/mes
/doc/mes.1 /doc/mes.1
/doc/mes.info /doc/mes.info
/doc/mes.pdf
/doc/mescc.1 /doc/mescc.1
/doc/version.texi /doc/version.texi

View file

@ -125,6 +125,16 @@ src/mes.gcc-out:
doc/mescc.1: src/mes.gcc-out scripts/mescc doc/mescc.1: src/mes.gcc-out scripts/mescc
MES_ARENA=10000000 $(HELP2MAN) $< > $@ MES_ARENA=10000000 $(HELP2MAN) $< > $@
html: mes/index.html
mes/index.html: doc/mes.texi
$(MAKEINFO) --html -o doc/mes $<
pdf: doc/mes.pdf
doc/mes.pdf: doc/mes.texi
$(MAKEINFO) --pdf -o doc/mes.pdf $<
define HELP_TOP define HELP_TOP
Usage: make [OPTION]... [TARGET]... Usage: make [OPTION]... [TARGET]...