Satoshi Asami 61d5ff2584 Rename ${FILESDIR}/patch-texinfmt.el.patch to ... ${FILESDIR}/extra-patch-texinfmt.el.patch. (This is an interesting case -- it is a patch to create a patch to be applied by EXTRA_PATCHES later.)		2000-10-07 22:11:23 +00:00
..
files
distinfo
Makefile	Rename ${FILESDIR}/patch-texinfmt.el.patch to	2000-10-07 22:11:23 +00:00
pkg-comment
pkg-descr
pkg-plist