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