doc: Move website-stylesheet setting to a more appropriate location
authorPeter Eisentraut <peter_e@gmx.net>
Fri, 12 Dec 2014 02:48:01 +0000 (21:48 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Fri, 12 Dec 2014 02:48:01 +0000 (21:48 -0500)
commit7afc2336cd9ce294894fcb750ab8c8cf51bf6bce
tree5b2c5fca065817cbfdab90fde813c3a12afbf9fc
parent2f8607860b4ef3668350a47e9488aee3d640da75
doc: Move website-stylesheet setting to a more appropriate location
doc/src/sgml/stylesheet.dsl