📄 makefile.docs
字号:
all: ps pdf htmlps: latex user_guide.tex latex user_guide.tex latex user_guide.tex dvips -o user_guide.ps user_guide.dvipdf: pdflatex user_guide.tex pdflatex user_guide.tex pdflatex user_guide.texhtml: maketemp html_multi html_singlemaketemp: sed -e 's:\\url{:{\\tt :g' -e 's:_:\\_:g' -e "s:begin{lstlisting}:begin{verbatim}:g" -e "s:end{lstlisting}:end{verbatim}:g" < user_guide.tex > temp.tex latex temp.texhtml_multi: latex2html -local_icons -nocontents_in_navigation -nofootnode -noaddress -noinfo -show_section_numbers -html_version 4.0 -lcase_tags -dir multi -mkdir temp.texhtml_single: latex2html -split 0 -local_icons -nonavigation -nofootnode -noaddress -noinfo -show_section_numbers -html_version 4.0 -lcase_tags -dir single -mkdir temp.tex sed -e 's:temp.html:user_guide.html:' < single/index.html > single/user_guide.htmlclean: rm -f temp.* rm -f user_guide.aux user_guide.log user_guide.toc user_guide.dvidistclean: clean rm -f user_guide.ps user_guide.pdf rm -rf single multi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -