X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fautomake.mk;fp=build-aux%2Fautomake.mk;h=06410885ac76234b42257d3e409134f5815fddf9;hb=36066cdc33572b2297f2df8743c4c00c0f04bf45;hp=0000000000000000000000000000000000000000;hpb=01e1f5874de57b945a4f1eb4cd0939b96c6a3a06;p=pspp

diff --git a/build-aux/automake.mk b/build-aux/automake.mk
new file mode 100644
index 0000000000..06410885ac
--- /dev/null
+++ b/build-aux/automake.mk
@@ -0,0 +1,3 @@
+## Process this file with automake to produce Makefile.in  -*- makefile -*-
+
+EXTRA_DIST += build-aux/svg2png