diff --git a/makefile b/makefile index 474f166440cd4ec1924f25a5a7f6037dbfb5321e..bf1351491c5776250635434b819717bff3669e35 100644 --- a/makefile +++ b/makefile @@ -3,7 +3,7 @@ LIBPATH = /usr/lib/ BINFOLDER = bin SUBDIRS_LIBS = alib adeterminize -SUBDIRS_BINS = acat aconvert aconvert.dot aconvert.gastex aconvert.regexp aconvert.automaton aminimize adeterminize.fsm adiff adiff.automaton adiff.grammar aepsilon +SUBDIRS_BINS = acat aconvert aconvert.dot aconvert.gastex aconvert.regexp aconvert.automaton aconvert.grammar aminimize adeterminize.fsm adiff adiff.automaton adiff.grammar aepsilon SUBDIRS_WITH_MAKE = $(dir $(wildcard */makefile))