Rename docs GIF to PNG

The files are still GIFs for now. In the next steps after the rename,
they will be replaced by real PNGs.

Background: The Asciidoctor PDF back-end cannot handle GIFs directly
without an additional Ruby Gem. It is easier to only use PNGs and JPEGs.

Signed-off-by: Alexander Kriegisch <Alexander@Kriegisch.name>

diff --git a/docs/developer/images/advice-dec.gif b/docs/developer/images/advice-dec.gif
deleted file mode 100644 (file)
index 43f540a..0000000
Binary files a/docs/developer/images/advice-dec.gif and /dev/null differ

diff --git a/docs/developer/images/advice-dec.png b/docs/developer/images/advice-dec.png
new file mode 100644 (file)
index 0000000..43f540a
Binary files /dev/null and b/docs/developer/images/advice-dec.png differ

diff --git a/docs/developer/images/ajdt-uml.gif b/docs/developer/images/ajdt-uml.gif
deleted file mode 100644 (file)
index 3a6ff79..0000000
Binary files a/docs/developer/images/ajdt-uml.gif and /dev/null differ

diff --git a/docs/developer/images/ajdt-uml.png b/docs/developer/images/ajdt-uml.png
new file mode 100644 (file)
index 0000000..3a6ff79
Binary files /dev/null and b/docs/developer/images/ajdt-uml.png differ

diff --git a/docs/developer/images/overview.gif b/docs/developer/images/overview.gif
deleted file mode 100644 (file)
index b32f11b..0000000
Binary files a/docs/developer/images/overview.gif and /dev/null differ

diff --git a/docs/developer/images/overview.png b/docs/developer/images/overview.png
new file mode 100644 (file)
index 0000000..b32f11b
Binary files /dev/null and b/docs/developer/images/overview.png differ

diff --git a/docs/developer/images/pointcut-dec.gif b/docs/developer/images/pointcut-dec.gif
deleted file mode 100644 (file)
index fed640d..0000000
Binary files a/docs/developer/images/pointcut-dec.gif and /dev/null differ

diff --git a/docs/developer/images/pointcut-dec.png b/docs/developer/images/pointcut-dec.png
new file mode 100644 (file)
index 0000000..fed640d
Binary files /dev/null and b/docs/developer/images/pointcut-dec.png differ

diff --git a/docs/developer/images/top-tree.gif b/docs/developer/images/top-tree.gif
deleted file mode 100644 (file)
index d8e2b26..0000000
Binary files a/docs/developer/images/top-tree.gif and /dev/null differ

diff --git a/docs/developer/images/top-tree.png b/docs/developer/images/top-tree.png
new file mode 100644 (file)
index 0000000..d8e2b26
Binary files /dev/null and b/docs/developer/images/top-tree.png differ

diff --git a/docs/progguide/images/aspects.gif b/docs/progguide/images/aspects.gif
deleted file mode 100644 (file)
index 8bca684..0000000
Binary files a/docs/progguide/images/aspects.gif and /dev/null differ

diff --git a/docs/progguide/images/aspects.png b/docs/progguide/images/aspects.png
new file mode 100644 (file)
index 0000000..8bca684
Binary files /dev/null and b/docs/progguide/images/aspects.png differ

diff --git a/docs/progguide/images/figureUML.gif b/docs/progguide/images/figureUML.gif
deleted file mode 100644 (file)
index c4bf8db..0000000
Binary files a/docs/progguide/images/figureUML.gif and /dev/null differ

diff --git a/docs/progguide/images/figureUML.png b/docs/progguide/images/figureUML.png
new file mode 100644 (file)
index 0000000..c4bf8db
Binary files /dev/null and b/docs/progguide/images/figureUML.png differ

diff --git a/docs/progguide/images/overview.gif b/docs/progguide/images/overview.gif
deleted file mode 100644 (file)
index 7b1d6c8..0000000
Binary files a/docs/progguide/images/overview.gif and /dev/null differ

diff --git a/docs/progguide/images/overview.png b/docs/progguide/images/overview.png
new file mode 100644 (file)
index 0000000..7b1d6c8
Binary files /dev/null and b/docs/progguide/images/overview.png differ

diff --git a/docs/progguide/images/telecom.gif b/docs/progguide/images/telecom.gif
deleted file mode 100644 (file)
index 89a7207..0000000
Binary files a/docs/progguide/images/telecom.gif and /dev/null differ

diff --git a/docs/progguide/images/telecom.png b/docs/progguide/images/telecom.png
new file mode 100644 (file)
index 0000000..89a7207
Binary files /dev/null and b/docs/progguide/images/telecom.png differ

diff --git a/docs/teaching/exercises/figures_classes.gif b/docs/teaching/exercises/figures_classes.gif
deleted file mode 100644 (file)
index 3440bbf..0000000
Binary files a/docs/teaching/exercises/figures_classes.gif and /dev/null differ

diff --git a/docs/teaching/exercises/figures_classes.png b/docs/teaching/exercises/figures_classes.png
new file mode 100644 (file)
index 0000000..3440bbf
Binary files /dev/null and b/docs/teaching/exercises/figures_classes.png differ