diff man/mule.texi @ 31626:eb8bb73d0c23

Change to DOS line endings. Simplify the generation of makefiles (don't need to generate various top-level targets that invoke make in other directories).
author Andrew Innes <andrewi@gnu.org>
date Thu, 14 Sep 2000 21:40:59 +0000
parents 55ce1d116cc7
children 30abf11e1b8e
line wrap: on
line diff