46 lines
940 B
TeX
46 lines
940 B
TeX
\documentclass[a4paper]{book}
|
|
\usepackage{a4wide}
|
|
\usepackage{makeidx}
|
|
\usepackage{fancyhdr}
|
|
\usepackage{graphicx}
|
|
\usepackage{multicol}
|
|
\usepackage{float}
|
|
\usepackage{textcomp}
|
|
\usepackage{alltt}
|
|
\usepackage{times}
|
|
\usepackage{ifpdf}
|
|
\ifpdf
|
|
\usepackage[pdftex,
|
|
pagebackref=true,
|
|
colorlinks=true,
|
|
linkcolor=blue,
|
|
unicode
|
|
]{hyperref}
|
|
\else
|
|
\usepackage[ps2pdf,
|
|
pagebackref=true,
|
|
colorlinks=true,
|
|
linkcolor=blue,
|
|
unicode
|
|
]{hyperref}
|
|
\usepackage{pspicture}
|
|
\fi
|
|
%\usepackage[utf8]{inputenc}
|
|
\usepackage{doxygen}
|
|
\makeindex
|
|
\setcounter{tocdepth}{3}
|
|
\renewcommand{\footrulewidth}{0.4pt}
|
|
\begin{document}
|
|
\begin{titlepage}
|
|
\vspace*{7cm}
|
|
\begin{center}
|
|
{\Large L4Re -- L4 Runtime Environment}\\
|
|
\end{center}
|
|
\end{titlepage}
|
|
\clearemptydoublepage
|
|
\pagenumbering{roman}
|
|
\tableofcontents
|
|
\clearemptydoublepage
|
|
\pagenumbering{arabic}
|
|
|