NO_DISTRIBUTE2

   1 #
   2 #  These are the files that will not be put into a distribution tar file.
   3 #  We're using egrep patterns.
   4 #
   5 .*\.o
   6 .*\.report
   7 .*\.info
   8 .*/lib-src/Makefile
   9 .*/prop-src/Makefile
  10 .*/tools/pretty/niceprop
  11 .*/develop/.*
  12
  13 #
  14 #  Keep distributing these binaries for now
  15 #
  16 # .*/lib-src/libprop.a
  17 # .*/prop-src/prop
  18 # .*/app/willard/willard
  19 # .*/demos/exp
  20 # .*/demos/prog
  21 # .*/demos/persistent
  22 # .*/demos/logic
  23 # .*/demos/inference