use the xml doc tools

This commit is contained in:
Jean-Francois Dockes 2013-04-16 15:55:31 +02:00
parent 43ee96ae1a
commit b5efb9b459

View File

@ -103,7 +103,8 @@ fi
################################### Documentation
###### Html doc
RECOLLDOC=${RECOLLDOC:=doc/user}
(cd $RECOLLDOC;make) || exit 1
(cd $RECOLLDOC; sh xmlmake.sh) || exit 1
rm -f $RECOLLDOC/usermanual-xml.html $RECOLLDOC/usermanual.xml
###### Text Doc
chmod +w README INSTALL