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

diff --git a/lib/automake.mk b/lib/automake.mk
index 7cd9c9f4..6b20c674 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