%% 
%% This is file `umlaute.drv',
%% generated with the docstrip utility.
%% 
%% The original source files were:
%% 
%% umlaute.dtx  (with options: `driver')
%% 
%% Copyright (C) 1994 Axel Sommerfeldt 
%% 
\documentclass{article}
\usepackage{doc}
\CodelineNumbered
\RecordChanges
\setlength{\parindent}{0pt}
\begin{document}
  \DocInput{umlaute.dtx} \PrintChanges
\end{document}
\endinput
%% 
%% End of file `umlaute.drv'.
