summaryrefslogtreecommitdiffstats
path: root/doc/pvs-doc.tex
diff options
context:
space:
mode:
authorDirk von Suchodoletz2011-03-25 02:29:55 +0100
committerDirk von Suchodoletz2011-03-25 02:29:55 +0100
commit2da95e2716a5e912089562f0c43aa7bdae07a70e (patch)
tree9f2e1df13f7c7a1d98faf6df687586b3ff82f958 /doc/pvs-doc.tex
parent... (diff)
parentrevert username generator (diff)
downloadpvs-2da95e2716a5e912089562f0c43aa7bdae07a70e.tar.gz
pvs-2da95e2716a5e912089562f0c43aa7bdae07a70e.tar.xz
pvs-2da95e2716a5e912089562f0c43aa7bdae07a70e.zip
Merge branch 'master' of openslx.org:pvs
Diffstat (limited to 'doc/pvs-doc.tex')
-rw-r--r--doc/pvs-doc.tex37
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}