Use a stamp file for the XSLT HTML doc build
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 13 Nov 2012 02:42:25 +0000 (21:42 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 13 Nov 2012 02:42:25 +0000 (21:42 -0500)
commit9b3ac49e5afb54c222095dcaf6a73b634ab2c072
tree7c4484ca02f56d761f71e3844dfcf48c615c1d50
parentd092d116ed047ebb923ada112235a8866571731c
Use a stamp file for the XSLT HTML doc build

This way it works more like the DSSSL build, and dependencies are
tracked better by make.

Also copy the CSS stylesheet to the html directory.  This was forgotten
when the output directory was changed.
doc/src/sgml/Makefile