diff options
| -rw-r--r-- | Doc/myformat.sty | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Doc/myformat.sty b/Doc/myformat.sty index 1887953..dc72768 100644 --- a/Doc/myformat.sty +++ b/Doc/myformat.sty @@ -153,6 +153,8 @@ \let\nodename=\label +%% For these commands, use \command{} to get the typography right, not +%% {\command}. This works better with the texinfo translation. \newcommand{\ABC}{{\sc abc}} \newcommand{\UNIX}{{\sc Unix}} \newcommand{\ASCII}{{\sc ascii}} |