diff options
Diffstat (limited to 'DOCS/xml/Makefile.inc')
| -rw-r--r-- | DOCS/xml/Makefile.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/DOCS/xml/Makefile.inc b/DOCS/xml/Makefile.inc index 8d767df254..34f5e5eb43 100644 --- a/DOCS/xml/Makefile.inc +++ b/DOCS/xml/Makefile.inc @@ -74,8 +74,8 @@ $(HTMLFILE): documentation.xml $(XSL_DEPS) cp -f $(HTML_STYLESHEET) `dirname $(HTMLFILE)` ../xsltproc.sh $(HTMLFILE) $(HTML_SINGLE_XSL) $< -#../html-single.xsl: -# cd .. && sh configure +../html-chunk.xsl ../html-single.xsl: + cd .. && sh configure distclean: if test "$(USE_SYMLINKS)" = "yes" ; then \ |