Index: doc/generic_types/evaluation/Makefile
===================================================================
--- doc/generic_types/evaluation/Makefile	(revision 3fb7f5ea1a51928a631aebe7b545c8d6a75a224c)
+++ doc/generic_types/evaluation/Makefile	(revision e3de500ac8af9baebadbab79034b06460e2f1764)
@@ -1,3 +1,3 @@
-CFA = my-cfa
+CFA = cfa
 DEPFLAGS = -MMD -MP
 CFLAGS = -O2