📄 makefile.in
字号:
# $Id: Makefile.in,v 1.1.2.3 2002/09/19 03:03:54 jnelson Exp $srcdir = @srcdir@VPATH = @srcdir@all: boa.html boa.dvi boa.info boa.txtboa.info: boa.texi makeinfo --number-sections @ALLSOURCES@boa.dvi: boa.texi texi2dvi --clean @ALLSOURCES@boa.pdf: boa.texi texi2dvi --pdf --clean @ALLSOURCES@boa.ps: boa.dvi dvips -o $@ @ALLSOURCES@boa_toc.html: boa.texi texi2html -split_chapter -menu @ALLSOURCES@boa.html: boa.texi makeinfo --html --number-sections --no-split -o - @ALLSOURCES@ | \ sed -e 's/Node:.*//' | sed -e 's/Next:.*//' | \ sed -e 's/Previous:.*//' | sed -e 's/Up:.*//' > $@boa.txt: boa.texi makeinfo --no-headers --no-split -o $@ @ALLSOURCES@clean: rm -f boa.{html,txt,dvi,ps,pdf,info} boa_*.html rm -f boa.{cp,fn,fns,ky,log,pg,toc,tp,vr,vrs,aux} *~distclean: mrcleanmrclean: clean rm -f Makefile
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -