X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fautomake.mk;h=6410988b8ba7304989ad347f387a0f0b2efdb219;hb=44dab63eeb3b50a9939d58005e63b2bfae0f846f;hp=3afc9e1ade16d512179cdb68100c04a7ccb02fe6;hpb=f6824ecbc579c68db49144fede419ca0acb0f53b;p=pspp

diff --git a/lib/automake.mk b/lib/automake.mk
index 3afc9e1ade..6410988b8b 100644
--- a/lib/automake.mk
+++ b/lib/automake.mk
@@ -1,8 +1,9 @@
 ## Process this file with automake to produce Makefile.in  -*- makefile -*-
 
 include $(top_srcdir)/lib/linreg/automake.mk
-include $(top_srcdir)/lib/gsl-extras/automake.mk
 
 if WITHGUI
 include $(top_srcdir)/lib/gtksheet/automake.mk
 endif
+
+EXTRA_DIST += lib/OChangeLog