summaryrefslogtreecommitdiffabout
path: root/.gitmodules
authorSergey Poznyakoff <gray@gnu.org.ua>2011-10-07 22:21:59 (GMT)
committer Sergey Poznyakoff <gray@gnu.org.ua>2011-10-07 22:21:59 (GMT)
commiteb8797c9a28f3f4e238bad89b56d331492df7828 (patch) (side-by-side diff)
tree91d59a8d31d88c3c51899ed7f0a816da5263e581 /.gitmodules
parenta31c3374d2c32de00feb7b9d029e6846abd0a76d (diff)
downloadpies-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') (more/less context) (ignore whitespace changes)
-rw-r--r--.gitmodules3
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

Return to:

Send suggestions and report system problems to the System administrator.