diff options
Diffstat (limited to 'system')
| -rw-r--r-- | system/doc/design_principles/Makefile | 17 | ||||
| -rw-r--r-- | system/doc/design_principles/code_lock.gif | bin | 35031 -> 0 bytes | |||
| -rw-r--r-- | system/doc/design_principles/code_lock.png | bin | 0 -> 58906 bytes | |||
| -rw-r--r-- | system/doc/design_principles/code_lock_2.gif | bin | 29420 -> 0 bytes | |||
| -rw-r--r-- | system/doc/design_principles/code_lock_2.png | bin | 0 -> 51848 bytes | |||
| -rw-r--r-- | system/doc/design_principles/statem.xml | 4 |
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 Binary files differdeleted file mode 100644 index adcfee7eff..0000000000 --- a/system/doc/design_principles/code_lock.gif +++ /dev/null diff --git a/system/doc/design_principles/code_lock.png b/system/doc/design_principles/code_lock.png Binary files differnew file mode 100644 index 0000000000..5e5744ecc2 --- /dev/null +++ b/system/doc/design_principles/code_lock.png diff --git a/system/doc/design_principles/code_lock_2.gif b/system/doc/design_principles/code_lock_2.gif Binary files differdeleted file mode 100644 index 150515c3b6..0000000000 --- a/system/doc/design_principles/code_lock_2.gif +++ /dev/null diff --git a/system/doc/design_principles/code_lock_2.png b/system/doc/design_principles/code_lock_2.png Binary files differnew file mode 100644 index 0000000000..138fbdef6c --- /dev/null +++ b/system/doc/design_principles/code_lock_2.png 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> |
