X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fautomake.mk;h=6b20c67478909fe6232730b58d7b4056de720490;hb=e00c8b2ca5092c6871c0cae67be95a884b5671a3;hp=7cd9c9f477da0fd0b76359225d88dbc0f4edec62;hpb=00d84d9cfd8260a3ddfe804e9ae741558213dbd2;p=pspp

diff --git a/lib/automake.mk b/lib/automake.mk
index 7cd9c9f477..6b20c67478 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -1,7 +1,6 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
 include $(top_srcdir)/lib/linreg/automake.mk
-include $(top_srcdir)/lib/misc/automake.mk
 
 if WITHGUI
 include $(top_srcdir)/lib/gtk-contrib/automake.mk