Remove UUIDs from RST pot files

We do not need the UUIDs for our toolchain, remove them.

They cause huge changes with each import with no benefit for us.

Note: Sphinx 1.3 by default disables UUID generation but we're using an
older Sphinx version for building, thus have to do this manually.

Change-Id: I3f3e910c5b2a2d03a3f04b67015526c3b7e77ddb
This commit is contained in:
Andreas Jaeger
2015-04-10 10:15:12 +02:00
parent 19559e2bf9
commit 993647f316

View File

@@ -32,12 +32,14 @@ fi
# First remove the old pot file, otherwise the new file will contain
# old references
rm doc/$DOCNAME/source/locale/$DOCNAME.pot
rm -f doc/$DOCNAME/source/locale/$DOCNAME.pot
sphinx-build $OPTS -b gettext doc/$DOCNAME/source/ doc/$DOCNAME/source/locale/
# Take care of deleting all temporary files so that git add
# doc/$DOCNAME/source/locale will only add the single pot file.
msgcat --sort-output doc/$DOCNAME/source/locale/*.pot > doc/$DOCNAME/source/$DOCNAME.pot
# Remove UUIDs, those are not necessary and change too often
msgcat --sort-output doc/$DOCNAME/source/locale/*.pot | \
awk '$0 !~ /^\# [a-z0-9]{32}$/' > doc/$DOCNAME/source/$DOCNAME.pot
rm doc/$DOCNAME/source/locale/*.pot
rm -rf doc/$DOCNAME/source/locale/.doctrees/
mv doc/$DOCNAME/source/$DOCNAME.pot doc/$DOCNAME/source/locale/$DOCNAME.pot