diff options
author | Tom Tromey <tom@tromey.com> | 2016-02-22 15:34:39 -0700 |
---|---|---|
committer | Tom Tromey <tom@tromey.com> | 2016-02-22 15:49:43 -0700 |
commit | 6dd5fd5a643c50aff3303ba2add3b6cc7588df78 (patch) | |
tree | ce7a3e3d5998c7e801507514937c21b2dafd5b77 /doc | |
parent | f2f234aef203a5e836b83cb772f9473f7ea0d5ce (diff) | |
download | libffi-6dd5fd5a643c50aff3303ba2add3b6cc7588df78.tar.gz |
fix documentation building
An earlier patch added --disable-docs, but went too far, making it
impossible to build the docs.
It turns out that Automake seemingly has a bug preventing the
conditional build of an info file. So, this patch works around the
bug by putting the info_TEXINFOS rule into a new doc/Makefile.am.
Tested by building with and without --disable-docs and looking for the
existence of doc/libffi.info.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am new file mode 100644 index 0000000..43b650a --- /dev/null +++ b/doc/Makefile.am @@ -0,0 +1,3 @@ +## Process this with automake to create Makefile.in + +info_TEXINFOS = libffi.texi |