diff doc/ChangeLog @ 3301:02866242d3ae

[project @ 1999-10-20 04:10:46 by jwe]
author jwe
date Wed, 20 Oct 1999 04:10:53 +0000
parents b68ef5dec3bd
children d8d8fcbecc30
line wrap: on
line diff
--- a/doc/ChangeLog	Tue Oct 19 18:04:03 1999 +0000
+++ b/doc/ChangeLog	Wed Oct 20 04:10:53 1999 +0000
@@ -1,5 +1,8 @@
 1999-10-19  John W. Eaton  <jwe@bevo.che.wisc.edu>
 
+	* interpreter/munge-texi.cc: Strip the "-*- texinfo -*-" marker
+	when including help text.
+
 	* interpreter/Makefile.in ($(TEXINFO)): Depend on $(DOCSTRINGS).
 	($(DOCSTRINGS)): New rule.