📄 makefile
字号:
# Makefile for generating manual in various formats from DocBook sources.PHONY: target genxmltarget : pretty/index.htmlGENFILES:=gen/*.xmlSRCFILES:=*.xml $(GENFILES)genxml $(GENFILES) : ../include/*.h extract -rm $(GENFILES) -mkdir gen cat ../include/*.h | ./extract for a in gen/*.*.xml; do b=$${a%.*.xml}.xml; cat $$a $$b > tmp; mv tmp $$b ; rm $$a; donechunked/index.html : $(SRCFILES) custom.xsl xmlto -o chunked -m custom.xsl html manual.xmlpretty/index.html : $(SRCFILES) custom-pretty.xsl makeover index.html xmlto -o pretty -m custom-pretty.xsl html manual.xml -ls pretty/*.html | xargs -n 1 tidy -utf8 -m -i -q ./makeovermanual.html : $(SRCFILES) custom-nochunks.xsl xmlto -m custom-nochunks.xsl html-nochunks manual.xml -tidy -utf8 -imq manual.htmlmanual.txt : manual.html html2text -nobs -style pretty manual.html > manual.txtmanual.pdf : $(SRCFILES) docbook2pdf manual.xmlpdf : $(SRCFILES) docbook2pdf manual.xmlclean : -rm -rf pretty/*.html chunked manual.html manual.txt gen forsite.tar.bz2 manual.pdf manual.texforsite: pretty/* manual.html manual.txt chunked/* manual.pdf tar cvfj forsite.tar.bz2 $^
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -