% UC CS REPORT COVER STYLE
% Provides a command, \makecover, that produces a UC CS technical report 
% cover (complete with campanile logo), and then resets the page number.


% Copyright (C) 1993, 1994 by Paul N. Hilfinger.  All rights reserved.
% Permission to copy this file and use after suitable modification is granted, 
% provided that this notice be retained on the copy and that no change is
% made to the format of the text of the report number without the author's 
% permission.  

% To use:
%
%    1. Include cs_techrpt_cover as a style parameter in the \documentstyle
%       command.
%    2. Use the declarations \author, \title, \reportmonth, 
%       \reportyear, and \reportnumber to supply the necessary 
%	information for the cover.  These declarations
% 	typically go in the prelude.  For example,
%
%	   \author{P. N. Hilfinger}
%	   \title{LaTeX: Threat or Menace?}
%	   \reportmonth{April}
%	   \reportyear{1993}
%	   \reportnumber{42}
%       
%       You may also leave off \reportyear and \reportmonth, and put the 
%	entire report designation in \reportnumber. This use is deprecated, 
%	but retained for backwards compatibility.  For example,
%	   \author{P. N. Hilfinger}
%	   \title{LaTeX: Threat or Menace?}
%	   \date{April 1993}
%	   \reportnumber{93-42}
%    3. If you wish to use the ugly official format (with the form
%	UCB//CSD-94-nn rather than UCB/CSD-94-nn), include also the 
%       declaration
%	   \useuglyformat
%       with \title, \reportmonth, etc.
%    4. Put a \makecover command immediately after \begin{document}
%
% This file requires the auxiliary Postscript file coverart.eps.

% TO INSTALL: 
% 1. Put coverart.ps in some appropriate directory.
% 2. Change the following declaration to give the right path name (see 1)
%    for coverart.eps.  This must be a full path name (starting with /).
\def\@coverart{\special{psfile=/usr/sww/share/images/uc_berkeley/cs_techrpt_coverart.eps}}
\def\reportnumber#1{\def\@reportnumber{#1}}
\def\reportmonth#1{\def\@reportmonth{#1}}
\def\reportyear#1{\def\@reportyear{#1}}
\def\@reportnumber{?}
\def\@reportmonth{}
\def\@reportyear{}
\def\@numberformatter{Report No.~UCB/CSD-\@reportdesignator}
\def\useuglyformat{%
    \gdef\@numberformatter{Report No.~UCB//CSD-\@reportdesignator}%
}

\def\makecover{
\ifx\@empty\@reportyear%
    \def\@reportdesignator{\@reportnumber}
\else%
    \date{\@reportmonth\ \@reportyear}%
    \@tempcnta\@reportyear%
    \divide\@tempcnta by 100%
    \multiply\@tempcnta by 100%
    \@tempcntb\@reportyear%
    \advance\@tempcntb-\@tempcnta%
    \edef\@reportdesignator{\the\@tempcntb-\@reportnumber}%
\fi
\shipout\vbox to 7true in{
\hsize=7.4375true in\parindent=0.5true in
{\@coverart
\vbox to 1.25true in{\vfil}

\noindent\begin{minipage}[t]{6.9375 true in}
\def\thanks##1{\relax}
\LARGE\bf
\begin{center}
\@title
\end{center}
\end{minipage}

\vbox to 0.625true in{\vfil}

\noindent\begin{minipage}[t]{6.9375 true in}
\Large\it
\begin{center}
{\lineskip .75em\begin{tabular}[t]{c}\@author\end{tabular}\par}%
\end{center}
\end{minipage}

\vfil

\hspace*{2.75true in}
\begin{minipage}[t]{3.5true in}
\large\parindent=0pt
{\bf \@numberformatter}

\vspace{1ex}
\noindent \@date

\vspace{2ex}
Computer Science Division (EECS) \\
University of California \\
Berkeley, California 94720
\end{minipage}
}}
}