changeset 2390 | 8450951a8e2d |
child 2404 | ec474604075e |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/tools/Makefile.am Sat Mar 03 16:04:50 2007 +0000 1.3 @@ -0,0 +1,12 @@ 1.4 +EXTRA_DIST += \ 1.5 + tools/Makefile 1.6 + 1.7 + 1.8 +if WANT_TOOLS 1.9 + 1.10 +bin_PROGRAMS += \ 1.11 + tools/lgf-gen 1.12 + 1.13 +endif WANT_TOOLS 1.14 + 1.15 +tools_lgf_gen_SOURCES = tools/lgf-gen.cc