X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2Fautomake.mk;fp=config%2Fautomake.mk;h=0000000000000000000000000000000000000000;hb=f51ecb48027e6b1eb46840ae25888a25b429f012;hp=509706e571bbbdaff246c8c91cca6c90923ba613;hpb=cfbbebdd6b3085f4094c073e4ebd139ac1d37737;p=pspp

diff --git a/config/automake.mk b/config/automake.mk
deleted file mode 100644
index 509706e571..0000000000
--- a/config/automake.mk
+++ /dev/null
@@ -1,7 +0,0 @@
-## Process this file with automake to produce Makefile.in  -*- makefile -*-
-
-
-dist_pkgsysconf_DATA = \
-	config/devices
-
-EXTRA_DIST += config/OChangeLog