Mercurial > urweb
changeset 1895:2eabe66daef6
Experimenting with distribution via 'make dist', to allow deletion of autogenerated files from version control
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 21 Nov 2013 14:53:01 -0500 |
parents | 9ef7072ca8f5 |
children | adc24ad31fc2 |
files | Makefile.am Makefile.in configure configure.ac |
diffstat | 4 files changed, 5 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/Makefile.am Thu Nov 21 14:36:57 2013 -0500 +++ b/Makefile.am Thu Nov 21 14:53:01 2013 -0500 @@ -114,3 +114,5 @@ libtoolize -cf automake --add-missing --force-missing --copy autoreconf + +EXTRA_DIST = demo/* doc/* lib/js/* lib/ur/* src/* src/coq/* xml/*
--- a/Makefile.in Thu Nov 21 14:36:57 2013 -0500 +++ b/Makefile.in Thu Nov 21 14:53:01 2013 -0500 @@ -243,6 +243,7 @@ LIB_C = $(SRCLIB)/c LIB_JS = $(SRCLIB)/js SUBDIRS = src/c +EXTRA_DIST = demo/* doc/* lib/js/* lib/ur/* src/* src/coq/* xml/* all: all-recursive .SUFFIXES: