From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
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}