1 files changed, 13 insertions, 0 deletions
diff --git a/quoteinitializer b/quoteinitializer
new file mode 100755
index 0000000..495eefe
--- /dev/null
+++ b/quoteinitializer
@@ -0,0 +1,13 @@
+#!/usr/bin/awk -f
+
+BEGIN\
+{
+    print "// Do not edit this file (edit \""ARGV[1]"\", and run \"make\").\n"
+    if (ARGC > 2) { print ARGV[2]; ARGC = 2 }
+}
+
+{
+    gsub("\\\\", "\\\\");
+    gsub("\\\"", "\\\"");
+    print "\""$0"\\n\""
+}