summaryrefslogtreecommitdiff
path: root/doc/fdl-1.3.texi (follow)
Commit message (Expand)AuthorAgeFilesLines
* doc: Add Cuirass manual.•••* doc/cuirass.texi: New file. * doc/fdl-1.3.texi: Likewise. * Makefile.am (info_TEXINFOS, doc_cuirass_TEXINFOS): New variables. * dir-locals.el: Use the American dictionary for Texinfo mode. * .gitignore: Update. Mathieu Lirzin2016-12-041-0/+505