diff options
Diffstat (limited to 'bootstrap.conf')
| -rw-r--r-- | bootstrap.conf | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index f74f7596b..7b5be8386 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -67,7 +67,11 @@ gnulib_modules=" memrchr mgetgroups mkancesdirs mkdir mkdir-p mkstemp mktime modechange mountlist mpsort obstack pathmax perl physmem - posix-shell posixtm posixver putenv + posix-shell + posixtm + posixver + propername + putenv quote quotearg raise readlink areadlink-with-size randint randperm @@ -118,6 +122,14 @@ XGETTEXT_OPTIONS=$XGETTEXT_OPTIONS'\\\ --flag=xprintf:1:c-format\\\ ' +# Append these, since we use the propername module. +see_manual='"This is a proper name. See the gettext manual, section Names."' +see_manual=\'"$see_manual"\' +XGETTEXT_OPTIONS=$XGETTEXT_OPTIONS'\\\ + --keyword=proper_name:1,'"$see_manual"'\\\ + --keyword=proper_name_utf8:1,'"$see_manual"'\\\ +' + # If "AM_GNU_GETTEXT(external" or "AM_GNU_GETTEXT([external]" # appears in configure.ac, exclude some unnecessary files. # Without grep's -E option (not portable enough, pre-configure), |