diff --git a/fco2/Makefile b/fco2/Makefile index ebb852b..f53d133 100644 --- a/fco2/Makefile +++ b/fco2/Makefile @@ -54,3 +54,6 @@ haddock: clean: rm -f $(targets) *.o *.hi +# Don't delete intermediate files. +.SECONDARY: +