Defines a command \thisfileis, which will become \endinput if it's called for a second or subsequent time with a particular file name.
The author is unknown.
License: noinfo Version dated: 1986-06-27 Catalogued: 2008-09-21
Defines a command \thisfileis, which will become \endinput if it's called for a second or subsequent time with a particular file name.
The author is unknown.
License: noinfo Version dated: 1986-06-27 Catalogued: 2008-09-21