Skip to content

Commit

Permalink
user docs: sort scripts when generating list
Browse files Browse the repository at this point in the history
This is to avoid needlessly updating the list when re-running the doc
generation, when the only thing that's changed in the order of the
scripts in the list...
  • Loading branch information
jdtournier committed Apr 15, 2016
1 parent 1574f14 commit ea11f19
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion docs/generate_user_docs.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
6 changes: 3 additions & 3 deletions docs/getting_started/scripts_list.rst
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
Scripts for external libraries
################

.. include:: scripts/dwipreproc.rst
.. include:: scripts/5ttgen.rst
.......


Expand All @@ -15,10 +15,10 @@ Scripts for external libraries
.......


.. include:: scripts/labelsgmfix.rst
.. include:: scripts/dwipreproc.rst
.......


.. include:: scripts/5ttgen.rst
.. include:: scripts/labelsgmfix.rst
.......

0 comments on commit ea11f19

Please sign in to comment.