From 20b44db2843e280474a45665f2584f9130eb686b Mon Sep 17 00:00:00 2001
From: Raimo Niskanen <raimo@erlang.org>
Date: Fri, 15 Apr 2016 10:40:00 +0200
Subject: Use .png pictures instead of .gif

---
 system/doc/design_principles/statem.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'system/doc/design_principles/statem.xml')

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>
-- 
cgit v1.2.3