projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4718358) | patch
Clean up the doc makefile for draft HTML generation. It no longer works
authorAlvaro Herrera <[email protected]>
Sun, 7 Oct 2007 00:32:11 +0000 (00:32 +0000)
committerAlvaro Herrera <[email protected]>
Sun, 7 Oct 2007 00:32:11 +0000 (00:32 +0000)
commit2816b2cdd2c3820a12b6d05a11c4be624e35536f
tree174049a49587fdad4894d3f6b80a73d6d205c50etree
parent4718358fe7a5badc6ffd6fd2e0688c6cb07c13bdcommit | diff
Clean up the doc makefile for draft HTML generation.  It no longer works
to do "make DRAFT=Y html"; you need to use "make draft" (which was also
supported previously).
doc/src/sgml/Makefile diff | blob | blame | history
This is the main PostgreSQL git repository.