diff options
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} |