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

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 4189b9edf12e0536a7c03ff30dec48e45f9c5dd7..e0aa1415d6a517012b35630c42a3996a6a1493fa 100644 (file)
--- 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`; \