diff --git a/docs/generate_user_docs.sh b/docs/generate_user_docs.sh index 9d5c06fa3c..8b0076d362 100755 --- a/docs/generate_user_docs.sh +++ b/docs/generate_user_docs.sh @@ -36,7 +36,7 @@ Scripts for external libraries ################" > getting_started/scripts_list.rst mkdir -p getting_started/scripts - for n in `find ../scripts/ -type f -print0 | xargs -0 grep -l "lib.app.initParser"`; do + for n in `find ../scripts/ -type f -print0 | xargs -0 grep -l "lib.app.initParser" | sort`; do filepath='getting_started/scripts' filename=`basename $n` $n __print_usage_rst__ > $filepath/$filename.rst diff --git a/docs/getting_started/scripts_list.rst b/docs/getting_started/scripts_list.rst index c0ed861d95..6fae14e962 100644 --- a/docs/getting_started/scripts_list.rst +++ b/docs/getting_started/scripts_list.rst @@ -3,7 +3,7 @@ Scripts for external libraries ################ -.. include:: scripts/dwipreproc.rst +.. include:: scripts/5ttgen.rst ....... @@ -15,10 +15,10 @@ Scripts for external libraries ....... -.. include:: scripts/labelsgmfix.rst +.. include:: scripts/dwipreproc.rst ....... -.. include:: scripts/5ttgen.rst +.. include:: scripts/labelsgmfix.rst .......