]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
*** empty log message ***
authorNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 19 Sep 2001 08:35:31 +0000 (08:35 +0000)
committerNikos Mavrogiannopoulos <nmav@gnutls.org>
Wed, 19 Sep 2001 08:35:31 +0000 (08:35 +0000)
doc/tex/Makefile.am

index f28890d3c27700e111f5a04e713dd4689b1ee4db..2e757951948489693de5c2e7c359ff76bdd671b6 100644 (file)
@@ -3,8 +3,6 @@ EXTRA_DIST = gnutls.tex gnutls.ps gnutls.html  \
        nx_grp_g.png  prev_g.png  up_g.png fdl.tex macros.tex \
        cover.tex.in
 
-all-local: gnutls.html gnutls.ps 
-
 TEX_OBJECTS = gnutls.tex ../../lib/gnutls-api.tex serv1.tex ex1.tex ex2.tex ex3.tex fdl.tex \
        macros.tex cover.tex