%% %% This is file `textmerg.drv', generated %% on <1994/7/28> with the docstrip utility (2.2h). %% %% The original source files were: %% %% textmerg.dtx (with options: `driver') \documentclass{ltxdoc} \RecordChanges \begin{document} \DocInput{textmerg.dtx} \PrintIndex \PrintChanges \end{document} \endinput %% %% End of file `textmerg.drv'.