diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/LaTeX/Makefile | 20 | ||||
| -rw-r--r-- | doc/LaTeX/bilder/FictionalPolicyChainClassDiagram.dia | bin | 0 -> 1330 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/ImplementedPolicies.dia | bin | 0 -> 3297 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/InputEventHandlerChain-Sequence.dia | bin | 0 -> 2702 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/InputEventHandlerClassDiagram.dia | bin | 0 -> 2770 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/PVSPrivInputDArchitecture.dia | bin | 0 -> 3137 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/PhasesOfKeyboardHandling.dia | bin | 0 -> 1695 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/PolicyChainClassDiagram.dia | bin | 0 -> 1844 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/SayHelloHandler-PolicyHier.dia | bin | 0 -> 1749 bytes | |||
| -rw-r--r-- | doc/LaTeX/bilder/UebertragungsEbenen.dia | bin | 0 -> 1994 bytes |
10 files changed, 20 insertions, 0 deletions
diff --git a/doc/LaTeX/Makefile b/doc/LaTeX/Makefile new file mode 100644 index 0000000..a3ecaf2 --- /dev/null +++ b/doc/LaTeX/Makefile @@ -0,0 +1,20 @@ +GENERATED_EPS_IMAGES = $(addsuffix .eps,$(basename $(shell echo bilder/*.dia))) +GENERATED_PDF_IMAGES = $(addsuffix .pdf,$(basename $(GENERATED_EPS_IMAGES))) + +build: $(GENERATED_PDF_IMAGES) + pdflatex pvs-doc + pdflatex pvs-doc + makeindex pvs-doc + pdflatex pvs-doc +.PHONY: build + +clean: + rm -f $(GENERATED_PDF_IMAGES) $(GENERATED_EPS_IMAGES) + rm -f pvs-doc.aux pvs-doc.idx pvs-doc.ilg pvs-doc.ing pvs-doc.log pvs-doc.out pvs-doc.pdf pvs-doc.toc +.PHONY: clean + +%.eps : %.dia + dia -e $@ $< + +%.pdf : %.eps + epstopdf --outfile=$@ $< diff --git a/doc/LaTeX/bilder/FictionalPolicyChainClassDiagram.dia b/doc/LaTeX/bilder/FictionalPolicyChainClassDiagram.dia Binary files differnew file mode 100644 index 0000000..620a9d1 --- /dev/null +++ b/doc/LaTeX/bilder/FictionalPolicyChainClassDiagram.dia diff --git a/doc/LaTeX/bilder/ImplementedPolicies.dia b/doc/LaTeX/bilder/ImplementedPolicies.dia Binary files differnew file mode 100644 index 0000000..97ab5e8 --- /dev/null +++ b/doc/LaTeX/bilder/ImplementedPolicies.dia diff --git a/doc/LaTeX/bilder/InputEventHandlerChain-Sequence.dia b/doc/LaTeX/bilder/InputEventHandlerChain-Sequence.dia Binary files differnew file mode 100644 index 0000000..73a789a --- /dev/null +++ b/doc/LaTeX/bilder/InputEventHandlerChain-Sequence.dia diff --git a/doc/LaTeX/bilder/InputEventHandlerClassDiagram.dia b/doc/LaTeX/bilder/InputEventHandlerClassDiagram.dia Binary files differnew file mode 100644 index 0000000..dd8b3a0 --- /dev/null +++ b/doc/LaTeX/bilder/InputEventHandlerClassDiagram.dia diff --git a/doc/LaTeX/bilder/PVSPrivInputDArchitecture.dia b/doc/LaTeX/bilder/PVSPrivInputDArchitecture.dia Binary files differnew file mode 100644 index 0000000..4278ba7 --- /dev/null +++ b/doc/LaTeX/bilder/PVSPrivInputDArchitecture.dia diff --git a/doc/LaTeX/bilder/PhasesOfKeyboardHandling.dia b/doc/LaTeX/bilder/PhasesOfKeyboardHandling.dia Binary files differnew file mode 100644 index 0000000..9250e0b --- /dev/null +++ b/doc/LaTeX/bilder/PhasesOfKeyboardHandling.dia diff --git a/doc/LaTeX/bilder/PolicyChainClassDiagram.dia b/doc/LaTeX/bilder/PolicyChainClassDiagram.dia Binary files differnew file mode 100644 index 0000000..3a311f5 --- /dev/null +++ b/doc/LaTeX/bilder/PolicyChainClassDiagram.dia diff --git a/doc/LaTeX/bilder/SayHelloHandler-PolicyHier.dia b/doc/LaTeX/bilder/SayHelloHandler-PolicyHier.dia Binary files differnew file mode 100644 index 0000000..341ff41 --- /dev/null +++ b/doc/LaTeX/bilder/SayHelloHandler-PolicyHier.dia diff --git a/doc/LaTeX/bilder/UebertragungsEbenen.dia b/doc/LaTeX/bilder/UebertragungsEbenen.dia Binary files differnew file mode 100644 index 0000000..5ae4edb --- /dev/null +++ b/doc/LaTeX/bilder/UebertragungsEbenen.dia |