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-Tag: gnutls_3_0_13~228
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=4aeea362549ccd153f1d367828158201cfa8327a;p=thirdparty%2Fgnutls.git

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

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4189b9edf1..e0aa1415d6 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -297,12 +297,13 @@ ENUMS += enums/gnutls_x509_subject_alt_name_t
 gnutls_TEXINFOS += $(ENUMS)
 DISTCLEANFILES += $(ENUMS)
 
-.NOTPARALLEL: $(ENUMS) enums.texi
-
-$(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`; \