diff options
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am new file mode 100644 index 0000000..57af60e --- /dev/null +++ b/doc/Makefile.am @@ -0,0 +1,18 @@ +# Copyright 2010, 2011, 2012, 2013 Free Software Foundation, Inc. +# This Makefile.am is free software; the Free Software Foundation +# gives unlimited permission to copy and/or distribute it, +# with or without modifications, as long as this notice is preserved. + +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY, to the extent permitted by law; without +# even the implied warranty of MERCHANTABILITY or FITNESS FOR A +# PARTICULAR PURPOSE. + + +dist_doc_DATA = FAQ.html + +info_TEXINFOS = mpfr.texi + +mpfr_TEXINFOS = fdl.texi + +MAKEINFOFLAGS = --enable-encoding |