diff options
author | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2001-07-28 15:16:15 +0000 |
---|---|---|
committer | Nikos Mavrogiannopoulos <nmav@gnutls.org> | 2001-07-28 15:16:15 +0000 |
commit | beda91a975e126132121ee97923361b4402df35f (patch) | |
tree | 0587fa3fd7edd28ef5deb2bb2a6d3b790da0725b | |
parent | 8d00423643a45ddf1688e222979c504f08ba5a95 (diff) | |
download | gnutls-beda91a975e126132121ee97923361b4402df35f.tar.gz |
*** empty log message ***
-rw-r--r-- | doc/tex/Makefile.am | 2 |
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 |