From: bangerth Date: Fri, 11 Jul 2014 02:42:35 +0000 (+0000) Subject: Remove a file we have not needed for a long time. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9e8ac034ac4b6eff003830fb1897ed41031cecb4;p=dealii-svn.git Remove a file we have not needed for a long time. git-svn-id: https://svn.dealii.org/trunk@33134 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/doxygen/header.tex.in b/deal.II/doc/doxygen/header.tex.in deleted file mode 100644 index 647db0face..0000000000 --- a/deal.II/doc/doxygen/header.tex.in +++ /dev/null @@ -1,29 +0,0 @@ -\documentclass[a4paper]{book} -\usepackage{a4wide} -\usepackage{makeidx} -\usepackage{fancyhdr} -\usepackage{graphicx} -\usepackage{multicol} -\usepackage{float} -\usepackage{textcomp} -\usepackage{alltt} -\usepackage{doxygen} -\makeindex -\setcounter{tocdepth}{1} -\renewcommand{\footrulewidth}{0.4pt} -\begin{document} -\begin{titlepage} -\vspace*{7cm} -\begin{center} -{\Large deal.II Reference Manual for Version @DEAL_II_PACKAGE_VERSION@}\\ -\vspace*{1cm} -{\large The deal.II Authors}\\ -\vspace*{0.5cm} -{\small Generated by Doxygen, \today}\\ -\end{center} -\end{titlepage} -\clearemptydoublepage -\pagenumbering{roman} -\tableofcontents -\clearemptydoublepage -\pagenumbering{arabic}