diff options
Diffstat (limited to 'doc/dev.html')
| -rw-r--r-- | doc/dev.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/dev.html b/doc/dev.html index 0fe78d760..327b52cf1 100644 --- a/doc/dev.html +++ b/doc/dev.html @@ -6,7 +6,7 @@ <TITLE>Ejabberd 1.1.2 Developers Guide</TITLE> -<META http-equiv="Content-Type" content="text/html; charset=UTF-8"> +<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <META name="GENERATOR" content="hevea 1.08"> <STYLE type="text/css"> .toc{list-style:none;} @@ -22,7 +22,7 @@ BLOCKQUOTE{margin-left:4ex;margin-right:4ex;text-align:left;} </HEAD> <BODY > -<!--HEVEA command line is: /usr/bin/hevea -fix -noiso -pedantic dev.tex --> +<!--HEVEA command line is: hevea -fix -noiso -pedantic dev.tex --> <!--HTMLHEAD--> <!--ENDHTML--> <!--PREFIX <ARG ></ARG>--> |