Wolfram Schneider 8d20e51f0a Bugfix for rev 1.41:
makeinfo does not understand the tex command \input
1997-10-09 18:14:18 +00:00
..
1997-04-01 12:34:13 +00:00
1997-09-13 17:49:21 +00:00
1997-10-07 05:35:52 +00:00
1997-10-09 18:14:18 +00:00
1997-09-19 00:56:49 +00:00
1997-07-19 15:19:08 +00:00