diff -r 22f932bbb305 -r d9e43511d11c tools/Makefile.am
--- a/tools/Makefile.am	Mon Nov 03 11:59:54 2008 +0000
+++ b/tools/Makefile.am	Mon Feb 23 11:30:15 2009 +0000
@@ -1,10 +1,12 @@
 if WANT_TOOLS
 
 bin_PROGRAMS += \
-	tools/dimacs-to-lgf
+	tools/dimacs-to-lgf \
+	tools/lgf-gen
 
 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
 
 endif WANT_TOOLS
 
 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc
+tools_lgf_gen_SOURCES = tools/lgf-gen.cc