diff options
| author | Sergey Poznyakoff <gray@gnu.org.ua> | 2011-10-08 01:48:19 +0300 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org.ua> | 2011-10-08 01:48:19 +0300 |
| commit | 50c7e46cea1b1f24079651ebf68521f0e1815995 (patch) | |
| tree | cece584fed0b064fd9b8a7fcf71fc3ea03640357 /.gitmodules | |
| parent | e652629b1e5f63911397101c67f4ddac94d36140 (diff) | |
| download | dico-50c7e46cea1b1f24079651ebf68521f0e1815995.tar.gz dico-50c7e46cea1b1f24079651ebf68521f0e1815995.tar.bz2 | |
Use Imprimatur to check the docs.
* .gitmodules: Add imprimatur.
* Makefile.am (ACLOCAL_AMFLAGS,SUBDIRS): Add imprimatur.
* configure.ac: Call IMPRIMATUR_INIT.
* doc/Makefile.am: Use imprimatur. Drop files that are
no longer necessary.
* doc/check-docs.sh: Delete.
* doc/mastermenu.el: Delete.
* doc/untabify.el: Delete
* doc/dico.texi: Fix sentence spacing, use @: where appropriate.
* doc/strftime.texi: Likewise.
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 98e7c8e..e01b649 100644 --- a/.gitmodules +++ b/.gitmodules @@ -4,3 +4,6 @@ [submodule "gint"] path = gint url = git://git.gnu.org.ua/gint.git +[submodule "imprimatur"] + path = imprimatur + url = git://git.gnu.org.ua/imprimatur.git |