don't look for green-card binary, use the one in the
build tree instead.
-#
-dnl ** check for installed green-card binary
-#
-AC_PATH_PROG(GreencardCmd,green-card)
-
#### program checking section ends here ####
####--------------------------------------------------
#### program checking section ends here ####
####--------------------------------------------------
HAPPY = @HappyCmd@
HAPPY_VERSION = @HappyVersion@
LX = @LxCmd@
HAPPY = @HappyCmd@
HAPPY_VERSION = @HappyVersion@
LX = @LxCmd@
-GREENCARD = @GreencardCmd@
+GREENCARD = $(FPTOOLS_TOP)/green-card/src/green-card
#
# Stuff from fptools/literate
#
# Stuff from fptools/literate