diff options
Diffstat (limited to '')
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | doc/Makefile | 11 |
2 files changed, 15 insertions, 0 deletions
@@ -1,3 +1,7 @@ +2005-11-25 Alexey Shchepin <alexey@sevcom.net> + + * doc/Makefile: Now really added + 2005-11-22 Alexey Shchepin <alexey@sevcom.net> * src/mod_roster.erl: The "id" attribute of roster push packet was 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 + + |