diff --git a/Makefile b/Makefile index 4bc9e7c645526de1cd705bcb941a59f16844690e..61fcfb94a710a24721580f4b08e4a44656c7eb5b 100644 --- a/Makefile +++ b/Makefile @@ -68,7 +68,3 @@ settings : ## clean : Clean up temporary and intermediate files. clean : @rm -rf $$(find . -name '*~' -print) - -# very-clean : Remove generated HTML. -very-clean : - @rm -f $(DST_MD)