aboutsummaryrefslogtreecommitdiffstats
path: root/system
diff options
context:
space:
mode:
Diffstat (limited to 'system')
-rw-r--r--system/doc/design_principles/Makefile17
-rw-r--r--system/doc/design_principles/code_lock.gifbin35031 -> 0 bytes
-rw-r--r--system/doc/design_principles/code_lock.pngbin0 -> 58906 bytes
-rw-r--r--system/doc/design_principles/code_lock_2.gifbin29420 -> 0 bytes
-rw-r--r--system/doc/design_principles/code_lock_2.pngbin0 -> 51848 bytes
-rw-r--r--system/doc/design_principles/statem.xml4
6 files changed, 14 insertions, 7 deletions
diff --git a/system/doc/design_principles/Makefile b/system/doc/design_principles/Makefile
index 2ccf477e83..937b3e28c8 100644
--- a/system/doc/design_principles/Makefile
+++ b/system/doc/design_principles/Makefile
@@ -48,8 +48,6 @@ BOOK_FILES = book.xml
GIF_FILES = \
note.gif \
clientserver.gif \
- code_lock.gif \
- code_lock_2.gif \
dist1.gif \
dist2.gif \
dist3.gif \
@@ -60,6 +58,12 @@ GIF_FILES = \
sup5.gif \
sup6.gif
+PNG_FILES = \
+ code_lock.png \
+ code_lock_2.png
+
+IMAGE_FILES = $(GIF_FILES) $(PNG_FILES)
+
XML_FILES = \
$(BOOK_FILES) $(XML_CHAPTER_FILES) \
$(XML_PART_FILES)
@@ -87,13 +91,16 @@ _create_dirs := $(shell mkdir -p $(HTMLDIR))
$(HTMLDIR)/%.gif: %.gif
$(INSTALL_DATA) $< $@
+$(HTMLDIR)/%.png: %.png
+ $(INSTALL_DATA) $< $@
+
docs: html
local_docs: PDFDIR=../../pdf
-html: $(HTML_UG_FILE) gifs
+html: $(HTML_UG_FILE) images
-gifs: $(GIF_FILES:%=$(HTMLDIR)/%)
+images: $(IMAGE_FILES:%=$(HTMLDIR)/%)
debug opt:
@@ -111,7 +118,7 @@ release_docs_spec: docs
# $(INSTALL_DIR) "$(RELEASE_PATH)/pdf"
# $(INSTALL_DATA) $(TOP_PDF_FILE) "$(RELEASE_PATH)/pdf"
$(INSTALL_DIR) $(RELSYSDIR)
- $(INSTALL_DATA) $(GIF_FILES) $(HTMLDIR)/*.html \
+ $(INSTALL_DATA) $(IMAGE_FILES) $(HTMLDIR)/*.html \
$(RELSYSDIR)
diff --git a/system/doc/design_principles/code_lock.gif b/system/doc/design_principles/code_lock.gif
deleted file mode 100644
index adcfee7eff..0000000000
--- a/system/doc/design_principles/code_lock.gif
+++ /dev/null
Binary files differ
diff --git a/system/doc/design_principles/code_lock.png b/system/doc/design_principles/code_lock.png
new file mode 100644
index 0000000000..5e5744ecc2
--- /dev/null
+++ b/system/doc/design_principles/code_lock.png
Binary files differ
diff --git a/system/doc/design_principles/code_lock_2.gif b/system/doc/design_principles/code_lock_2.gif
deleted file mode 100644
index 150515c3b6..0000000000
--- a/system/doc/design_principles/code_lock_2.gif
+++ /dev/null
Binary files differ
diff --git a/system/doc/design_principles/code_lock_2.png b/system/doc/design_principles/code_lock_2.png
new file mode 100644
index 0000000000..138fbdef6c
--- /dev/null
+++ b/system/doc/design_principles/code_lock_2.png
Binary files differ
diff --git a/system/doc/design_principles/statem.xml b/system/doc/design_principles/statem.xml
index c10afe482d..65daeac782 100644
--- a/system/doc/design_principles/statem.xml
+++ b/system/doc/design_principles/statem.xml
@@ -136,7 +136,7 @@ handle_event(EventType, EventContent, State, Data) ->
it is is wrong, we start all over,
waiting for a new button sequence.
</p>
- <image file="code_lock.gif">
+ <image file="code_lock.png">
<icaption>Code lock state diagram</icaption>
</image>
<p>
@@ -934,7 +934,7 @@ enter(Tag, State, Data) ->
and some more utilizing the entry actions,
which deserves a new state diagram:
</p>
- <image file="code_lock_2.gif">
+ <image file="code_lock_2.png">
<icaption>Code lock state diagram revisited</icaption>
</image>
<p>