diff man/widget.texi @ 58787:06b5dbeb06f0

(org.dvi, ../info/org): New targets. (INFO_TARGETS): Add ../info/org. (DVI_TARGETS): Add org.dvi. (maintainer-clean): Remove the info files in the info dir.
author Richard M. Stallman <rms@gnu.org>
date Mon, 06 Dec 2004 00:57:22 +0000
parents e546c74f795e
children 8507e984115b 3fd4a5c21153
line wrap: on
line diff