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: 2012-05-10
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: 2012-05-10