initial import of latest svn version

1 files changed, 37 insertions, 0 deletions

diff --git a/doc/LaTeX/pvs-doc.tex b/doc/LaTeX/pvs-doc.tex
new file mode 100644
index 0000000..efe2adc
--- /dev/null
+++ b/doc/LaTeX/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}