l4/doc/source/header.tex

   1 \documentclass[a4paper]{book}
   2 \usepackage{a4wide}
   3 \usepackage{makeidx}
   4 \usepackage{fancyhdr}
   5 \usepackage{graphicx}
   6 \usepackage{multicol}
   7 \usepackage{float}
   8 \usepackage{textcomp}
   9 \usepackage{alltt}
  10 \usepackage{times}
  11 \usepackage{ifpdf}
  12 \ifpdf
  13 \usepackage[pdftex,
  14             pagebackref=true,
  15             colorlinks=true,
  16             linkcolor=blue,
  17             unicode
  18            ]{hyperref}
  19 \else
  20 \usepackage[ps2pdf,
  21             pagebackref=true,
  22             colorlinks=true,
  23             linkcolor=blue,
  24             unicode
  25            ]{hyperref}
  26 \usepackage{pspicture}
  27 \fi
  28 %\usepackage[utf8]{inputenc}
  29 \usepackage{doxygen}
  30 \makeindex
  31 \setcounter{tocdepth}{3}
  32 \renewcommand{\footrulewidth}{0.4pt}
  33 \begin{document}
  34 \begin{titlepage}
  35 \vspace*{7cm}
  36 \begin{center}
  37 {\Large L4Re -- L4 Runtime Environment}\\
  38 \end{center}
  39 \end{titlepage}
  40 \clearemptydoublepage
  41 \pagenumbering{roman}
  42 \tableofcontents
  43 \clearemptydoublepage
  44 \pagenumbering{arabic}
  45