view leim/.arch-inventory @ 94597:100982f1144d

(--without-makeinfo): New option. If set, absence of suitable makeinfo is not a fatal error.
author Glenn Morris <rgm@gnu.org>
date Sat, 03 May 2008 20:16:15 +0000
parents a0fc4f10d0cf
children
line wrap: on
line source

# Auto-generated files, which ignore.
precious ^(stamp-subdir|changed\..*|leim-list\.el)$

# arch-tag: a4cda8ae-2a52-4d85-bd29-14e25c7ed2a2