From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Wed, 19 Sep 2001 08:35:31 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: gnutls_0_2_4~18
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1697e7652d264d53f90cd0fa60609f2e72512814;p=thirdparty%2Fgnutls.git

*** empty log message ***
---

diff --git a/doc/tex/Makefile.am b/doc/tex/Makefile.am
index f28890d3c2..2e75795194 100644
--- a/doc/tex/Makefile.am
+++ b/doc/tex/Makefile.am
@@ -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