generatepot-rst: Fix to work with mawk

Ubuntu uses mawk by default which does not know about the regex feature
"{32}". Use "+" instead for a more portable regex.

Change-Id: I9fd52437eb332dedc9bf977173beda93f984843f
This commit is contained in:
Andreas Jaeger 2015-04-16 14:30:23 +02:00
parent 1792275530
commit 209763c0b1

View File

@ -41,7 +41,7 @@ sphinx-build $OPTS -b gettext doc/$DOCNAME/source/ doc/$DOCNAME/source/locale/
# doc/$DOCNAME/source/locale will only add the single pot file.
# 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
awk '$0 !~ /^\# [a-z0-9]+$/' > 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