X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fmisc%2FMakefile.am;h=1a149fa445b307ebca70a407584f79361ac3454b;hb=1f8dd363d6c20d07fcca14cb948018465fa5ed8b;hp=15a2a9a01f1f1097c08eb483de12b5878105b360;hpb=658d70ae9cc37440535100ae5dd95cb8e7ba7778;p=pspp

diff --git a/lib/misc/Makefile.am b/lib/misc/Makefile.am
index 15a2a9a01f..1a149fa445 100644
--- a/lib/misc/Makefile.am
+++ b/lib/misc/Makefile.am
@@ -8,4 +8,6 @@ INCLUDES = -I$(srcdir) -I$(top_srcdir)/src -I$(top_srcdir) \
 libmisc_a_SOURCES =
 libmisc_a_LIBADD = $(ALLOCA) $(LIBOBJS)
 
+EXTRA_DIST = getopt.c getopt1.c memcpy.c strstr.c
+
 MAINTAINERCLEANFILES = Makefile.in