diff --git a/Makefile b/Makefile
index af355efc1..1f8c8320c 100644
--- a/Makefile
+++ b/Makefile
@@ -478,10 +478,6 @@ opam-uninstall:
 	if [ -z "$(INSTALL_DIR)" ]; then echo INSTALL_DIR is unset; false; fi
 	rm $(INSTALL_DIR)/bin/riscv_sim_RV64
 	rm $(INSTALL_DIR)/bin/riscv_sim_RV32
-apply_header:
-	headache -c etc/headache_config -h LICENCE `ls model/*.sail`
-	headache -c etc/headache_config -h LICENCE `ls handwritten_support/*.lem`
-	headache -c etc/headache_config -h LICENCE `ls handwritten_support/*.v`
 
 clean:
 	-rm -rf generated_definitions/ocaml/* generated_definitions/c/* generated_definitions/latex/*
diff --git a/etc/headache_config b/etc/headache_config
deleted file mode 100644
index 203f888e6..000000000
--- a/etc/headache_config
+++ /dev/null
@@ -1,6 +0,0 @@
-  ".*\\.mllib"  -> frame open:"(*" line:"=" close:"*)"
-|  ".*\\.lem"    -> frame open:"(*" line:"=" close:"*)"
-|  ".*\\.v"      -> frame open:"(*" line:"=" close:"*)"
-|  ".*\\.thy"      -> frame open:"(*" line:"=" close:"*)"
-|  ".*\\.sml"      -> frame open:"(*" line:"=" close:"*)"
-|  ".*\\.sail"   -> frame open:"/*" line:"=" close:"*/"