------------------------------------------------------------ revno: 5236 committer: Miika Komu <miika@xxxxxx> branch nick: trunk timestamp: Tue 2010-11-30 23:40:39 +0200 message: Fixes on update-html-howto maintainer script. Suggestion from Diego to update-html-howto: Cannot work as it tries to run 'make' in the doc/ subdirectory, which is no longer supported since ages. Is this script unused or just failing silently? This should be fixed or removed. modified: tools/maintainer/update-html-howto -- lp:hipl https://code.launchpad.net/~hipl-core/hipl/trunk Your team HIPL core team is subscribed to branch lp:hipl. To unsubscribe from this branch go to https://code.launchpad.net/~hipl-core/hipl/trunk/+edit-subscription
=== modified file 'tools/maintainer/update-html-howto' --- tools/maintainer/update-html-howto 2010-11-30 15:50:45 +0000 +++ tools/maintainer/update-html-howto 2010-11-30 21:40:39 +0000 @@ -13,7 +13,5 @@ touch $OUTPUT_DIR/DO_NOT_EDIT_THESE_MANUALLY.GENERATED_AUTOMATICALLY cp -r $BZR_HIPL_CACHE/$BRANCH/doc $TMP_DIR cd $TMP_DIR/doc -#xmlto -o manual html HOWTO.xml 2> /dev/null -#cp -r manual/* $OUTPUT_DIR -make -cp -r howto-html/* $OUTPUT_DIR +xmlto -o manual html HOWTO.xml +cp -r manual/* $OUTPUT_DIR