diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 00000000..c541c625 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,11 @@ +# $Id$ + +all: guide.html dev.html + +guide.html: guide.tex + hevea -charset ISO8859-1 guide.tex + +dev.html: dev.tex + hevea -charset ISO8859-1 dev.tex + + |