diff -r e7707b3069f1 -r 0c5dd7ceda03 tools/Makefile.am
--- a/tools/Makefile.am	Sun Nov 30 00:51:20 2008 +0100
+++ b/tools/Makefile.am	Sun Nov 30 09:39:34 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