diff options
| author | Raimo Niskanen <[email protected]> | 2016-04-15 10:40:00 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2016-04-18 11:48:16 +0200 |
| commit | 20b44db2843e280474a45665f2584f9130eb686b (patch) | |
| tree | 4b0d99546650de4720ae2a3d18ae6f216268d9f8 /system/doc/design_principles/Makefile | |
| parent | 7563c1929cd9bfceced790d0784210ea287d536e (diff) | |
| download | otp-20b44db2843e280474a45665f2584f9130eb686b.tar.gz otp-20b44db2843e280474a45665f2584f9130eb686b.tar.bz2 otp-20b44db2843e280474a45665f2584f9130eb686b.zip | |
Use .png pictures instead of .gif
Diffstat (limited to 'system/doc/design_principles/Makefile')
| -rw-r--r-- | system/doc/design_principles/Makefile | 17 |
1 files changed, 12 insertions, 5 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) |