diff --git a/Makefile b/Makefile index 54ec563..5c3bde5 100644 --- a/Makefile +++ b/Makefile @@ -49,7 +49,9 @@ DBHTMLDOCS = ${DOCS:.text=.htm} TEXIDOCS = ${DOCS:.text=.texi} TEXIDOCS = +# fop fails here, so disable it for now PDFDOCS = ${DOCS:.text=.pdf} +PDFDOCS = MANPDOCS = ${MANDOCS:.text=.man}