📄 mhdoc
字号:
: run this script through /bin/sh: '@(#)$Id: mhdoc,v 1.3 90/04/08 15:04:21 sources Exp $'echo grinding...sed -f doc/config.sed < doc/tmac.h > ../doc/tmac.hsed -f doc/config.sed < doc/tmac.hdr > ../doc/tmac.mesed -f doc/config.sed < doc/me2man.sed > ../doc/me2man.sedfor f in doc/*.rfdo sed -f doc/config.sed < $f > ../doc/`basename $f .rf`.medoneexit 0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -