diff options
| -rw-r--r-- | doc/Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 00000000..64a271fa --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,17 @@ +# quick doc-building makefile used by website +# requires: man2html, texinfo + +docs: ledger.1.html ledger.html ledger.pdf ledger3.html ledger3.pdf + +%.1.html: %.1 + -man2html $< | tail -n+3 >$@ + +%.html: %.texi + -makeinfo --force --html --no-split -o $@ $< + +%.pdf: %.texi + -texi2pdf -b -q $< + rm -f $*.aux $*.cp $*.fn $*.ky $*.log $*.pg $*.toc $*.tp $*.vr + +clean: + rm -rf ledger.1.html ledger.html ledger3.html ledger.pdf ledger3.pdf |