summaryrefslogtreecommitdiff
path: root/configpm
diff options
context:
space:
mode:
Diffstat (limited to 'configpm')
-rwxr-xr-xconfigpm3
1 files changed, 2 insertions, 1 deletions
diff --git a/configpm b/configpm
index 4bdde612de..a83e8661fb 100755
--- a/configpm
+++ b/configpm
@@ -500,7 +500,8 @@ EOF
}
if ($opts{glossary}) {
- <GLOS>; # Skip the preamble
+ <GLOS>; # Skip the "DO NOT EDIT"
+ <GLOS>; # Skip the preamble
while (<GLOS>) {
process;
print CONFIG;