]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
projects / thirdparty / gnutls.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8d00423)
*** empty log message ***
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Sat, 28 Jul 2001 15:16:15 +0000 (15:16 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Sat, 28 Jul 2001 15:16:15 +0000 (15:16 +0000)
doc/tex/Makefile.am patch | blob | blame | history

diff --git a/doc/tex/Makefile.am b/doc/tex/Makefile.am
index 64410c3f72166cb4471d1c3a37b00eb5b4953eb4..612b6e76fc24e0d6b1a466a02542649bf8cd8e65 100644 (file)
--- 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
Mirror of https://gitlab.com/gnutls/gnutls.git