diff options
| author | Raimo Niskanen <[email protected]> | 2018-04-24 15:36:14 +0200 |
|---|---|---|
| committer | Raimo Niskanen <[email protected]> | 2018-04-24 15:36:14 +0200 |
| commit | 685cd438232282ee0fa790517e7fe193110ff265 (patch) | |
| tree | 34f97b67026443afb1fccf75d6194884da48a6b5 /system/doc/design_principles/Makefile | |
| parent | 4b9d0a6e768966722f460d8bfa381b739165297f (diff) | |
| parent | 728bc036aa72a83080e933722f8ad409ede69f70 (diff) | |
| download | otp-685cd438232282ee0fa790517e7fe193110ff265.tar.gz otp-685cd438232282ee0fa790517e7fe193110ff265.tar.bz2 otp-685cd438232282ee0fa790517e7fe193110ff265.zip | |
Merge branch 'raimo/stdlib/gen_statem-dev/OTP-14015'
* raimo/stdlib/gen_statem-dev/OTP-14015:
Fix after feedback
Improve pointer to User's Guide
Fix after feedback on 'When to use'
Add a 'When to use' section
Fix timeout parsing and doc feedback
Improve doc, change images to .svg
erl_docgen: Implement width in image tag
Update User's Guide and pointers to it
Improve error reasons from state enter call
Diffstat (limited to 'system/doc/design_principles/Makefile')
| -rw-r--r-- | system/doc/design_principles/Makefile | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/system/doc/design_principles/Makefile b/system/doc/design_principles/Makefile index 611ab6da99..41d2d1208f 100644 --- a/system/doc/design_principles/Makefile +++ b/system/doc/design_principles/Makefile @@ -1,7 +1,7 @@ # # %CopyrightBegin% # -# Copyright Ericsson AB 1997-2016. All Rights Reserved. +# Copyright Ericsson AB 1997-2018. All Rights Reserved. # # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. @@ -60,11 +60,11 @@ GIF_FILES = \ sup5.gif \ sup6.gif -PNG_FILES = \ - code_lock.png \ - code_lock_2.png +SVG_FILES = \ + code_lock.svg \ + code_lock_2.svg -IMAGE_FILES = $(GIF_FILES) $(PNG_FILES) +IMAGE_FILES = $(GIF_FILES) $(SVG_FILES) XML_FILES = \ $(BOOK_FILES) $(XML_CHAPTER_FILES) \ @@ -93,7 +93,7 @@ _create_dirs := $(shell mkdir -p $(HTMLDIR)) $(HTMLDIR)/%.gif: %.gif $(INSTALL_DATA) $< $@ -$(HTMLDIR)/%.png: %.png +$(HTMLDIR)/%.svg: %.svg $(INSTALL_DATA) $< $@ docs: html |