diff options
author | Sergey Poznyakoff <gray@gnu.org.ua> | 2011-10-08 01:21:59 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2011-10-08 01:21:59 +0300 |
commit | eb8797c9a28f3f4e238bad89b56d331492df7828 (patch) | |
tree | 91d59a8d31d88c3c51899ed7f0a816da5263e581 /.gitmodules | |
parent | a31c3374d2c32de00feb7b9d029e6846abd0a76d (diff) | |
download | pies-eb8797c9a28f3f4e238bad89b56d331492df7828.tar.gz pies-eb8797c9a28f3f4e238bad89b56d331492df7828.tar.bz2 |
Use Imprimatur for docs processing.
* .gitmodules: Add imprimatur.
* Makefile.am (ACLOCAL_AMFLAGS,SUBDIRS): Add imprimatur.
* configure.ac: Require gettext 0.18. Call IMPRIMATUR_INIT.
Define ATTRIBUTE_NORETURN, if not defined already.
* doc/Makefile.am: Use imprimatur. Drop files that are
no longer necessary.
* doc/check-docs.sh: Delete.
* doc/fix-sentence-spacing.sed: Delete.
* doc/mastermenu.el: Delete.
* doc/rendition.texi: Delete.
* doc/untabify.el: Delete.
* doc/pies.texi: Use @: where appropriate.
* src/pies.c (main): Use _() instead of N_().
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index fea8f96..c20307a 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,6 @@ [submodule "grecs"] path = grecs url = git://git.gnu.org.ua/grecs.git +[submodule "imprimatur"] + path = imprimatur + url = git://git.gnu.org.ua/imprimatur.git |