diff options
| author | Simon Josefsson <simon@josefsson.org> | 2007-07-09 00:35:47 +0200 |
|---|---|---|
| committer | Simon Josefsson <simon@josefsson.org> | 2007-07-09 00:35:47 +0200 |
| commit | 75f9c47d5db035fc676cef5076f799124604c6f0 (patch) | |
| tree | 198545fa1130263a5ec355d54707911c3f085d3b /guile | |
| parent | a3709c66d0208ef98691a9f2a0049a3c8ff7cd68 (diff) | |
| download | gnutls-75f9c47d5db035fc676cef5076f799124604c6f0.tar.gz | |
Fix build failure in doc/ when guile isn't installed built yet.
Diffstat (limited to 'guile')
| -rw-r--r-- | guile/src/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/guile/src/Makefile.am b/guile/src/Makefile.am index daaab2897a..8e3cdac6fe 100644 --- a/guile/src/Makefile.am +++ b/guile/src/Makefile.am @@ -107,3 +107,9 @@ snarfcppopts = $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) \ .c.x: $(guile_snarf) -o $@ $< $(snarfcppopts) + +# Target used by doc/Makefile, to create all built sources necessary +# for generating the manual. + +.PHONY: built-sources +built-sources: $(BUILT_SOURCES) |