Makefile.config: It contains references to the external programs used to compile the developer documentation. Instead of fig2pdf some might want to use fig2dev (part of the xfig package). Use "figdev -L pdf" instead of for the FIG2PDF macros in this case.
"src/plugins/e-acsl/tests/bts/oracle/bts1717.res.oracle" did not exist on "c57b6a7df0a7ddf11c7006298812a972f96d964a"