make docs-install runs xsltproc

[gdt]

After running make docs, make docs-install runs xsltproc. (In my case, I passed BADFLAGS="XSLTPROCFLAGS=—LOSE" to make docs-install, so that I would find any invocations of xsltproc.) In this case, it seems to be redoing the exact same build.

gmake -C doc install
gmake[1]: Entering directory `/home/gdt/SOFTWARE/POSTGIS/postgis/doc'
gmake -C html/image_src images
gmake[2]: Entering directory `/home/gdt/SOFTWARE/POSTGIS/postgis/doc/html/image_src'
gmake[2]: Nothing to be done for `images'.
gmake[2]: Leaving directory `/home/gdt/SOFTWARE/POSTGIS/postgis/doc/html/image_src'
/usr/pkg/bin/xsltproc --param section.autolabel 1 --param section.label.includes.component.label 1 --param chunk.section.depth 0 --param generate.section.toc.level 1 --param funcsynopsis.style kr --param admon.graphics 1 --param admon.textlabel 0 --param simplesect.in.toc 0 --param use.id.as.filename 1 --param chunk.quietly 1 --LOSE --stringparam html.stylesheet style.css  \
	--output html/postgis.html \
	/usr/pkg/share/xsl/docbook/html/docbook.xsl \
	postgis-out.xml
Unknown option --LOSE
Usage: /usr/pkg/bin/xsltproc [options] stylesheet file [file ...]

From "make docs":

/usr/pkg/bin/xsltproc --param section.autolabel 1 --param section.label.includes.component.label 1 --param chunk.section.depth 0 --param generate.section.toc.level 1 --param funcsynopsis.style kr --param admon.graphics 1 --param admon.textlabel 0 --param simplesect.in.toc 0 --param use.id.as.filename 1 --param chunk.quietly 1  --stringparam html.stylesheet style.css  \
	--output html/postgis.html \
	/usr/pkg/share/xsl/docbook/html/docbook.xsl \
	postgis-out.xml
Element strong in namespace '' encountered in para, but no template matches.
ERROR: xref linking to  has no generated link text.
ERROR: xref linking to  has no generated link text.
ERROR: xref linking to  has no generated link text.
Link element has no content and no Endterm. Nothing to show in the link to 
Link element has no content and no Endterm. Nothing to show in the link to 

[strk]

I confirm "make install" builds more than "make". It is a bug.

[strk]

r9405 fixes this, making "make" and "make install" agree on what needs to be built…