diff options
Diffstat (limited to 'doc/dev.html')
| -rw-r--r-- | doc/dev.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/dev.html b/doc/dev.html index e7f57ad4e..a979f874e 100644 --- a/doc/dev.html +++ b/doc/dev.html @@ -46,7 +46,7 @@ TD P{margin:0px;} </STYLE> </HEAD> <BODY > -<!--HEVEA command line is: /usr/bin/hevea -fix -noiso -pedantic dev.tex --> +<!--HEVEA command line is: /usr/bin/hevea -fix -pedantic dev.tex --> <!--CUT DEF section 1 --><P><A NAME="titlepage"></A> </P><TABLE CLASS="title"><TR><TD><H1 CLASS="titlemain">Ejabberd 2.1.0-alpha Developers Guide</H1><H3 CLASS="titlerest">Alexey Shchepin<BR> |