Mercurial > urweb
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 @: |