From: Nikos Mavrogiannopoulos <nmav@gnutls.org>
Date: Sun, 22 Jan 2012 11:29:15 +0000 (+0100)
Subject: enums.texi is not run multiple times. Suggested by Eli Zaretskii.
X-Git-Url: http://git.savannah.gnu.org/gitweb/?p=gnutls.git;a=commitdiff_plain;h=4aeea362549ccd153f1d367828158201cfa8327a

enums.texi is not run multiple times. Suggested by Eli Zaretskii.
---

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4189b9e..e0aa141 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -297,10 +297,13 @@ ENUMS += enums/gnutls_x509_subject_alt_name_t
 gnutls_TEXINFOS += $(ENUMS)
 DISTCLEANFILES += $(ENUMS)
 
-$(ENUMS): enums.texi
+stamp_enums: enums.texi
 	$(MAKE) compare-makefile
 	-mkdir enums
 	$(srcdir)/scripts/split-texi.pl enums enum < enums.texi
+	echo $@ > $@
+
+$(ENUMS): stamp_enums
 
 compare-makefile:
 	ENUMS=`grep '^@c ' enums.texi | sed 's/@c //g' | sort`; \