diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 033fd7bbb7e..abf68114421 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -2,7 +2,7 @@ # # PostgreSQL documentation makefile # -# $PostgreSQL: pgsql/doc/src/sgml/Makefile,v 1.112 2008/11/14 10:22:45 petere Exp $ +# $PostgreSQL: pgsql/doc/src/sgml/Makefile,v 1.113 2008/11/26 11:26:54 petere Exp $ # #---------------------------------------------------------------------------- @@ -37,6 +37,10 @@ ifndef SGMLSPL SGMLSPL = sgmlspl endif +ifndef DOCBOOK2MAN +DOCBOOK2MAN = docbook2man_is_missing +endif + # docbook2man generates man pages from docbook refentry source code. D2MSCRIPT= $(D2MDIR)/docbook2man-spec.pl D2MLINKS = $(D2MDIR)/docbook2man-spec_makelinks @@ -276,9 +280,6 @@ MAKEINFO = makeinfo ## Experimental man page building through docbook2x ## -# called docbook2man on non-Debian -DOCBOOK2MAN = docbook2x-man - manx: postgres.xml stylesheet-man.xsl $(DOCBOOK2MAN) --solinks -s $(srcdir)/stylesheet-man.xsl --string-param default-manpage-section=$(DEFAULTSECTION) $< $(mkinstalldirs) man1 man7 |