add a logo for debbugs

[debbugs.git] / html / logo / Makefile

diff --git a/html/logo/Makefile b/html/logo/Makefile
new file mode 100644 (file)
index 0000000..54c8d14
--- /dev/null
+++ b/html/logo/Makefile
@@ -0,0 +1,15 @@
+#!/usr/bin/make -f
+
+all: debbugs_logo.svg debbugs_logo_icon.png
+
+## if you want to modify debbugs_logo.svg do the modifications to
+## debbugs_logo_orig.svg, and then run make update_debbugs_logo and check the
+## changes in.
+update_debbugs_logo: debbugs_logo_orig.svg
+       inkscape --without-gui \
+       --export-text-to-path --export-plain-svg debbugs_logo.svg $<;
+
+debbugs_logo_icon.png: debbugs_logo.svg
+       inkscape --without-gui \
+       --export-width 32 --export-height 32 \
+       --export-png $@ $<