diff options
Diffstat (limited to 'libctf/doc/local.mk')
-rw-r--r-- | libctf/doc/local.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/libctf/doc/local.mk b/libctf/doc/local.mk index 7ee2fec78cc..e533d72227d 100644 --- a/libctf/doc/local.mk +++ b/libctf/doc/local.mk @@ -17,6 +17,8 @@ # <http://www.gnu.org/licenses/>. # +if BUILD_INFO + info_TEXINFOS += %D%/ctf-spec.texi libctf_TEXINFOS = $(info_TEXINFOS) @@ -29,3 +31,11 @@ html-local: %D%/ctf-spec/index.html %D%/ctf-spec/index.html: %D%/ctf-spec.texi %D%/$(am__dirstamp) $(AM_V_GEN)$(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) \ --split=node -I$(srcdir) --output %D%/ctf-spec $(srcdir)/%D%/ctf-spec.texi + +else + +# Workaround bug in automake: it can't handle conditionally building info pages +# since GNU projects normally include info pages in the source distributions. +%D%/ctf-spec.info: + +endif |