diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 19e640b5d25..04fba434509 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -27,10 +27,6 @@ all: html man distprep: html distprep-man -ifndef COLLATEINDEX -COLLATEINDEX = $(DOCBOOKSTYLE)/bin/collateindex.pl -endif - ifndef JADE JADE = jade endif @@ -120,7 +116,11 @@ HTML.index: postgres.sgml $(ALMOSTALLSGML) stylesheet.dsl $(JADE.html.call) -V html-index $< bookindex.sgml: HTML.index +ifdef COLLATEINDEX LC_ALL=C $(PERL) $(COLLATEINDEX) -f -g -i 'bookindex' -o $@ $< +else + @$(missing) collateindex.pl $< $@ +endif # Technically, this should depend on Makefile.global, but then # version.sgml would need to be rebuilt after every configure run, |