📄 makedocs.sh
字号:
#!/bin/sh## "$Id: makedocs.sh 297 2007-09-09 07:16:52Z mike $"## Script to make documentation...## Copyright 2003-2007 by Michael Sweet.## This program is free software; you can redistribute it and/or# modify it under the terms of the GNU Library General Public# License as published by the Free Software Foundation; either# version 2, or (at your option) any later version.## This program is distributed in the hope that it will be useful,# but WITHOUT ANY WARRANTY; without even the implied warranty of# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the# GNU General Public License for more details.#htmldoc --verbose --path "hires;." --batch mxml.book -f mxml.pdfhtmldoc --verbose --batch mxml.book --no-title -f mxml.htmlrm -rf mxml.dmkdir mxml.dhtmldoc --verbose --batch mxml.book --no-title -t html -d mxml.d## End of "$Id: makedocs.sh 297 2007-09-09 07:16:52Z mike $".#
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -