From: Sergey Poznyakoff <gray@gnu.org.ua>
Date: Thu, 12 May 2005 15:22:34 +0000 (+0000)
Subject: Add getdate.c to EXTRA_DIST
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fcb0cb82362bd20d3d03532b5b106dc8adb705cb;p=pspp

Add getdate.c to EXTRA_DIST
---

diff --git a/modules/getdate b/modules/getdate
index 583dd368bc..e0f7c0f495 100644
--- a/modules/getdate
+++ b/modules/getdate
@@ -23,6 +23,7 @@ gl_GETDATE
 Makefile.am:
 BUILT_SOURCES += getdate.c
 MAINTAINERCLEANFILES += getdate.c
+EXTRA_DIST += getdate.c
 
 Include:
 "getdate.h"