diff options
| -rw-r--r-- | Master/texmf-dist/fonts/source/public/circ/defcirc.mf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/fonts/source/public/circ/defcirc.mf b/Master/texmf-dist/fonts/source/public/circ/defcirc.mf index 34c990935ac..fcc6a313345 100644 --- a/Master/texmf-dist/fonts/source/public/circ/defcirc.mf +++ b/Master/texmf-dist/fonts/source/public/circ/defcirc.mf @@ -36,6 +36,7 @@ message("CIRC %<+doc> \optionline "&optionname); message("CIRC %<*"&font_identifier_&",doc>"); message(""); +inner bye; def endCIRCfont = message("CIRC %</"&font_identifier_&",doc>"); message("CIRC %<*"&font_identifier_&">"); |