diff options
-rwxr-xr-x | po/update-potfiles | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/po/update-potfiles b/po/update-potfiles index 925f386c4..884e4d9fc 100755 --- a/po/update-potfiles +++ b/po/update-potfiles @@ -28,6 +28,7 @@ source_files=$( -e '/\(\.h\|\.c\)$/!d' \ -e '/^tests\//d' \ -e '/\/samples\//d' \ + -e '/^Documentation\//d' \ ) # throw away non-existing files (dirty git repo) |