%% 
%% This is file `showlabels.drv',
%% generated with the docstrip utility.
%% 
%% The original source files were:
%% 
%% showlabels.dtx  (with options: `driver')
%% Style to display labels in the margin 
\def\filename{showlabels}
\def\fileversion{v1.2}
\def\filedate{1996/05/12}
\def\docdate{1996/05/12}
\documentclass{ltxdoc}
\EnableCrossrefs
\newcommand\Lopt[1]{\textsf {#1}}
\newcommand\file[1]{\texttt {#1}}
\newcommand\Lcount[1]{\textsl {\small#1}}
\newcommand\pstyle[1]{\textsl {#1}}
\date{\docdate}
\begin{document}
\DocInput{showlabels.dtx}
\PrintIndex
\PrintChanges
\end{document}
\endinput
%% 
%% End of file `showlabels.drv'.