New commits:
commit 990f8557b8fb2ef5031cae7ece91c4ce61fe88d8
Author: George Sherwood <gsherwood AT sourcemage.org>
Commit: George Sherwood <gsherwood AT sourcemage.org>
gawk: Add correct REPAIR file
diff --git a/editors/gawk/HISTORY b/editors/gawk/HISTORY
index 0ef2a95..4443ecd 100644
--- a/editors/gawk/HISTORY
+++ b/editors/gawk/HISTORY
@@ -1,3 +1,7 @@
+2009-01-16 George Sherwood <gsherwood AT sourcemage.org>
+ * REPAIR^5086443e2677a2e01845ea5e29be0802^POST_REMOVE: Add
+ correct REPAIR file.
+
2009-01-15 George Sherwood <gsherwood AT sourcemage.org>
* PRE_REMOVE: Added file to actually remove the info files.
* POST_REMOVE: Removed. Not place to delete info files.
diff --git a/editors/gawk/REPAIR^5086443e2677a2e01845ea5e29be0802^POST_REMOVE
b/editors/gawk/REPAIR^5086443e2677a2e01845ea5e29be0802^POST_REMOVE
new file mode 100755
index 0000000..f76ece4
--- /dev/null
+++ b/editors/gawk/REPAIR^5086443e2677a2e01845ea5e29be0802^POST_REMOVE
@@ -0,0 +1,3 @@
+install-info --delete gawk --info-dir ${INSTALL_ROOT}/usr/share/info
+install-info --delete gawkinet --info-dir ${INSTALL_ROOT}/usr/share/info
+true
diff --git a/editors/gawk/REPAIR^all^POST_REMOVE
b/editors/gawk/REPAIR^all^POST_REMOVE
deleted file mode 100755
index f76ece4..0000000
--- a/editors/gawk/REPAIR^all^POST_REMOVE
+++ /dev/null
@@ -1,3 +0,0 @@
-install-info --delete gawk --info-dir ${INSTALL_ROOT}/usr/share/info
-install-info --delete gawkinet --info-dir ${INSTALL_ROOT}/usr/share/info
-true
[SM-Commit] GIT changes to master grimoire by George Sherwood (990f8557b8fb2ef5031cae7ece91c4ce61fe88d8),
George Sherwood, 01/16/2009