|
| From: | Mike Thomas |
| Subject: | [Gcl-commits] gcl/info makefile |
| Date: | Tue, 13 May 2003 18:18:46 -0400 |
CVSROOT: /cvsroot/gcl
Module name: gcl
Changes by: Mike Thomas <address@hidden> 03/05/13 18:18:46
Modified files:
info : makefile
Log message:
Offer makeinfo as an alternative for HTML generation.
CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gcl/gcl/info/makefile.diff?tr1=1.23&tr2=1.24&r1=text&r2=text
| [Prev in Thread] | Current Thread | [Next in Thread] |