makefile
来自「boa:著名嵌入式系统网页服务器源代码。」· 代码 · 共 32 行
TXT
32 行
all: boa.html boa_toc.html boa.dvi boa.info boa.txt
boa.info: boa.texi
makeinfo --number-sections boa.texi
boa.dvi: boa.texi
texi2dvi --clean boa.texi
boa.pdf: boa.texi
texi2dvi --pdf --clean boa.texi
boa.ps: boa.dvi
dvips -o boa.ps boa.dvi
boa_toc.html: boa.texi
texi2html -split_chapter -menu boa.texi
boa.html: boa.texi
makeinfo --html --number-sections --no-split -o - boa.texi | \
sed -e 's/Node:.*//' | sed -e 's/Next:.*//' | \
sed -e 's/Previous:.*//' | sed -e 's/Up:.*//' > boa.html
boa.txt: boa.texi
makeinfo --no-headers --no-split -o boa.txt boa.texi
cleanup:
rm -f boa.{cp,fn,fns,ky,log,pg,toc,tp,vr,vrs,aux} *~
clean: cleanup
rm -f boa.{html,txt,dvi,ps,pdf,info} boa_*.html
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?