diff lib-src/Makefile.in @ 15026:8c1f6839aff9

Change make-docfile to make-doc.exe in a second place.
author Richard M. Stallman <rms@gnu.org>
date Mon, 15 Apr 1996 21:02:54 +0000
parents c1ca33c85944
children 7cdabdc3ce59
line wrap: on
line diff