chiark / gitweb /
cosmetics
[xfonts-traditional.git] / mkrules
diff --git a/mkrules b/mkrules
index ea3afebc09496658f57592fb5170006354ac081f..5b07879fcf99a3de55c9ce8651daea72bca9cd2e 100755 (executable)
--- a/mkrules
+++ b/mkrules
@@ -70,6 +70,9 @@ while read keyword rest; do
                partial=1
                chars
                ;;
+       verbatim)
+               echo >&3 "    $rest"
+               ;;
        *)
                echo >&2 "??? $keyword"
                exit 1