contrib/Makefile.am

   1 EXTRA_DIST = \
   2         README \
   3         cvc-devel.el \
   4         dimacs_to_smt.pl \
   5         switch-config \
   6         cvc-mode.el \
   7         editing-with-emacs \
   8         luby.c \
   9         configure-in-place \
  10         depgraph