comparison Makefile.in @ 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 8958b580d026
children
comparison
equal deleted inserted replaced
1894:9ef7072ca8f5 1895:2eabe66daef6
241 ACLOCAL_AMFLAGS = -I m4 241 ACLOCAL_AMFLAGS = -I m4
242 LIB_UR = $(SRCLIB)/ur 242 LIB_UR = $(SRCLIB)/ur
243 LIB_C = $(SRCLIB)/c 243 LIB_C = $(SRCLIB)/c
244 LIB_JS = $(SRCLIB)/js 244 LIB_JS = $(SRCLIB)/js
245 SUBDIRS = src/c 245 SUBDIRS = src/c
246 EXTRA_DIST = demo/* doc/* lib/js/* lib/ur/* src/* src/coq/* xml/*
246 all: all-recursive 247 all: all-recursive
247 248
248 .SUFFIXES: 249 .SUFFIXES:
249 am--refresh: 250 am--refresh:
250 @: 251 @: