From 7e2606edebeec48f0c4738da659d57df75317e4a Mon Sep 17 00:00:00 2001 From: "W.C.A. Wijngaards" Date: Fri, 31 Jan 2014 16:26:45 +0100 Subject: [PATCH] Add headers for examples into dist. --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 472ab2e9..757e6bd6 100644 --- a/Makefile.in +++ b/Makefile.in @@ -76,7 +76,7 @@ $(distdir): cp $(srcdir)/src/test/*.good $(distdir)/src/test cp $(srcdir)/src/test/*.can $(distdir)/src/test cp $(srcdir)/src/example/Makefile.in $(distdir)/src/example - cp $(srcdir)/src/example/*.c $(distdir)/src/example + cp $(srcdir)/src/example/*.[ch] $(distdir)/src/example cp $(srcdir)/doc/Makefile.in $(distdir)/doc cp $(srcdir)/doc/*.in $(distdir)/doc