examples: remove mnit_dino

[nit.git] / examples / mnit_dino / Makefile

diff --git a/examples/mnit_dino/Makefile b/examples/mnit_dino/Makefile
deleted file mode 100644 (file)
index 31ecc94..0000000
--- a/examples/mnit_dino/Makefile
+++ /dev/null
@@ -1,16 +0,0 @@
-default: linux
-
-linux:
-       mkdir -p bin
-       ../../bin/nitc -o bin/dino src/dino_linux.nit
-
-doc:
-       mkdir -p doc
-       ../../bin/nitdoc -d doc/ src/dino.nit src/dino_linux.nit
-
-pngs:
-       mkdir -p assets/images
-       tools/svg-to-pngs art/drawing.svg assets/images
-
-clean:
-       rm -rf bin/ doc/