K 10
svn:author
V 5
wosch
K 8
svn:date
V 27
1997-10-09T18:14:18.000000Z
K 7
svn:log
V 73
Bugfix for rev 1.41:
makeinfo does not understand the tex command \input

END