📄 makefile
字号:
# $Id: Makefile.in,v 1.1.2.6 2002/12/12 21:29:04 jnelson Exp $MAKE=make.PHONY: clean mrclean distclean boa docsall: boaboa: (cd src && $(MAKE) $(MFLAGS))docs: (cd docs && $(MAKE) $(MFLAGS))clean: -(cd src && $(MAKE) $(MFLAGS) clean) -(cd docs && $(MAKE) clean) distclean: mrcleanmrclean: clean -(cd src && $(MAKE) $(MFLAGS) mrclean) -(cd docs && $(MAKE)$(MFLAGS) mrclean) rm -f config.status config.cache config.h config.log rm -f Makefile *~# dummy target for installinstall: @echo Please read the documentation then install manually.
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -