Mercurial > urweb

comparison Makefile.am @ 1895:2eabe66daef6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 adc24ad31fc2
comparison
equal deleted inserted replaced
1894:9ef7072ca8f5 1895:2eabe66daef6
112 reauto: 112 reauto:
113 -autoreconf 113 -autoreconf
114 libtoolize -cf 114 libtoolize -cf
115 automake --add-missing --force-missing --copy 115 automake --add-missing --force-missing --copy
116 autoreconf 116 autoreconf
117
118 EXTRA_DIST = demo/* doc/* lib/js/* lib/ur/* src/* src/coq/* xml/*