diff options
author | Johann Latocha | 2011-03-02 02:08:42 +0100 |
---|---|---|
committer | Johann Latocha | 2011-03-02 02:08:42 +0100 |
commit | 3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796 (patch) | |
tree | 99fdd6aa4c0073e747902486e703e1d738da8369 /doc/pvs-doc.tex | |
parent | fix cmake paths (diff) | |
download | pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.gz pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.tar.xz pvs-3b7320ef4e2bd9f24b6dce72a8e8bf94c3695796.zip |
Win32 clean out
Diffstat (limited to 'doc/pvs-doc.tex')
-rw-r--r-- | doc/pvs-doc.tex | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/doc/pvs-doc.tex b/doc/pvs-doc.tex new file mode 100644 index 0000000..efe2adc --- /dev/null +++ b/doc/pvs-doc.tex @@ -0,0 +1,37 @@ +\makeindex +\input{mystyle-pdf} + +\begin{document} +\input{header} +\pagenumbering{Roman} +\addcontentsline{toc}{chapter}{Inhaltsverzeichnis} +\tableofcontents +\clearpage +\input{zusfassung} +%\newpage +\pagenumbering{arabic} +\part{Idee und Überblick} +\input{intro/0000-chapter} +\input{intro/0100-funktionen} +\input{intro/0900-textaufbau} +\part{Bedienungsanleitung} +\input{user/0001-chapter} +\input{user/0000-chapter} + +\part{Entwicklerdokumentation} +\input{devel/0000-chapter} +\input{devel/0100-build} +\input{devel/0200-gui-lib} +\input{devel/0300-pvs} +\input{devel/0400-pvs-console} +\input{devel/0500-pvs-client} + +\part{Anhang} +\appendix +\input{appendix/0000-chapter} +%\bibliographystyle{natdin} +%\bibliography{099-Bibliographie/mybib} +%\addcontentsline{toc}{chapter}{Literaturverzeichnis} +\printindex +%\addcontentsline{toc}{chapter}{Index} +\end{document} |