forgotten file

diff --git a/header_install_modifier.sed b/header_install_modifier.sed
new file mode 100644 (file)
index 0000000..f5ebb77
--- /dev/null
+++ b/header_install_modifier.sed
@@ -0,0 +1,2 @@
+s-^[\t\ ]*#include[\t\ ]*\"\([^\"]*\)\"-#include <crypto/\1>-g
+