Thread: pgsql: Use a stamp file for the XSLT HTML doc build

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.

Branch
------
master

Details
-------
http://git.postgresql.org/pg/commitdiff/9b3ac49e5afb54c222095dcaf6a73b634ab2c072

Modified Files
--------------
doc/src/sgml/Makefile |    6 +++++-
1 files changed, 5 insertions(+), 1 deletions(-)