summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikos Mavrogiannopoulos <nmav@gnutls.org>2001-07-28 15:16:15 +0000
committerNikos Mavrogiannopoulos <nmav@gnutls.org>2001-07-28 15:16:15 +0000
commitbeda91a975e126132121ee97923361b4402df35f (patch)
tree0587fa3fd7edd28ef5deb2bb2a6d3b790da0725b
parent8d00423643a45ddf1688e222979c504f08ba5a95 (diff)
downloadgnutls-beda91a975e126132121ee97923361b4402df35f.tar.gz
*** empty log message ***
-rw-r--r--doc/tex/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tex/Makefile.am b/doc/tex/Makefile.am
index 64410c3f72..612b6e76fc 100644
--- a/doc/tex/Makefile.am
+++ b/doc/tex/Makefile.am
@@ -12,4 +12,4 @@ gnutls.ps: gnutls.tex gnutls-api.tex
dvips gnutls.dvi -o gnutls.ps
gnutls.html: gnutls.tex gnutls-api.tex
- latex2html -no_subdir 1 -split 0 gnutls.tex
+ latex2html gnutls.tex -no_subdir 1 -split 0