mirror of
git://git.gnu.org.ua/imprimatur.git
synced 2025-04-26 00:29:54 +03:00
f32ef19839
* .gitignore: Add Makedoc * Makedoc.am: New file. * Makefile.am [IMPRIMATUR_COND_MAKEDOC]: Provide a set of shortcuts for make -f Makedoc. * imprimatur.m4 (IMPRIMATUR_INIT): Create Makedoc file if `makedoc' option is given. New option dist-info. * imprimatur.texi: Update. * README: Update.
31 lines
400 B
Text
31 lines
400 B
Text
.emacs*
|
|
*~
|
|
Makefile
|
|
Makefile.in
|
|
Makedoc
|
|
Makedoc.in
|
|
imprimatur.info*
|
|
imprimatur.pdf
|
|
imprimatur.dvi
|
|
imprimatur.ps
|
|
imprimatur.tex
|
|
stamp-vti
|
|
version.texi
|
|
imprimatur.aux
|
|
imprimatur.cp
|
|
imprimatur.cps
|
|
imprimatur.dvi
|
|
imprimatur.fl
|
|
imprimatur.fn
|
|
imprimatur.kw
|
|
imprimatur.ky
|
|
imprimatur.log
|
|
imprimatur.mt
|
|
imprimatur.op
|
|
imprimatur.pg
|
|
imprimatur.pr
|
|
imprimatur.ps
|
|
imprimatur.toc
|
|
imprimatur.tp
|
|
imprimatur.vr
|
|
manual
|