diff options
Diffstat (limited to 'doc/manual/Makefile.am')
-rw-r--r-- | doc/manual/Makefile.am | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am deleted file mode 100644 index bb306355c..000000000 --- a/doc/manual/Makefile.am +++ /dev/null @@ -1,10 +0,0 @@ -all: manual.pdf manual.html - -manual.pdf: - texi2pdf manual.texi - -manual.html: - texi2html manual.texi - -info_TEXINFOS = manual.texi -manual_TEXINFOS = version.texi |