diff -r fc6954b4fce4 -r 50d96f2166d7 tools/Makefile.am
--- a/tools/Makefile.am	Fri Nov 21 10:49:39 2008 +0000
+++ b/tools/Makefile.am	Thu Nov 27 22:04:46 2008 +0000
@@ -1,6 +1,10 @@
 if WANT_TOOLS
 
-bin_PROGRAMS +=
+bin_PROGRAMS += \
+	tools/dimacs-to-lgf
+
 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
 
 endif WANT_TOOLS
+
+tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc