Remove junk left from DSSSL to XSL conversion
authorPeter Eisentraut <peter_e@gmx.net>
Thu, 9 Nov 2017 22:00:53 +0000 (17:00 -0500)
committerPeter Eisentraut <peter_e@gmx.net>
Thu, 9 Nov 2017 22:01:40 +0000 (17:01 -0500)
commite7397f015c9589f95f5f5b48d7a274b2f1628971
tree65b455b44d206e5c0a6dda8d97d30575b2fb8906
parentae20b23a9e7029f31ee902da08a464d968319f56
Remove junk left from DSSSL to XSL conversion
doc/src/sgml/Makefile