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 /dicoweb/templatetags | |
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 'dicoweb/templatetags')
0 files changed, 0 insertions, 0 deletions