%% %% This is file `autoref.rtx', %% generated with the docstrip utility. %% %% The original source files were: %% %% autoref.dtx (with options: `autoref') %% %% Copyright (c) 2004-2014 Stanislav Kruchinin. %% All rights reserved. %% %% This file is part of the disser package. %% \ProvidesFile{autoref.rtx} \newcommand\autoref@the{\default@the} \autoref@the \if@titlepage\renewcommand\maketitle{ \deflength\firstskip{1cm} \deflength\secondskip{2cm} \deflength\thirdskip{1cm} \deflength\fourthskip{1cm} \deflength\fifthskip{1cm} \def\titlefont{\normalsize} \def\topicfont{\Large\bfseries} \def\authorfont{\large} \def\specfont{\normalsize} \thispagestyle{empty} \enlargethispage{1cm} \vspace*{-2cm} \begin{center} \instfont\@institution\par \end{center} \vskip\firstskip \normalfont \begin{flushright} \ifDis@classified\classify\fi \asmanuscript \ifDis@facsimile\facsimile\fi \end{flushright} \begin{center} \vskip\secondskip {\authorfont\@author} \vskip\thirdskip {\topicfont\@topic\par} \vskip\fourthskip {\specfont\@specnum~--\ \@spec} \vskip\fifthskip {\titlefont\@title} \vfill {\@city\cdsep\@date} \end{center} \normalfont\clearpage }\fi \endinput %% %% End of file `autoref.rtx'.