blob: c63803e8f6f4dddf683497cb2562904074a279db (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
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`; \
|
