⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 makefile.jade

📁 用vc++编写的虚拟机仿真系统。可以模拟真实操作系统的一些功能。
💻 JADE
字号:
#################################################################### doc/docbook/Makefile# $Id: Makefile.jade,v 1.1 2001/09/25 19:29:28 bdenney Exp $## Builds documentation in various formats from SGML source, and# allows easy update to the Bochs web site.##################################################################### name of the major documentation sectionsSECTIONS=user documentation development# these files get installed in addition to the sectionsEXTRAS=README alldocs.html images include# complete list of what to installINSTALL_LIST=$(SECTIONS) $(EXTRAS)# ssh to this server to install the docsREMOTE_HOST=shell.sf.net# path of preexisting install in, on the remote server.  Each section# will go into a subdirectory of $REMOTE_PATH, as in# $REMOTE_PATH/user.REMOTE_PATH=/home/groups/b/bo/bochs/htdocs/doc/docbook# -x means don't try to forward X authorization, it won't work for SFSSH=ssh -x# docbook defines and stuffDSSSL_ROOT=/usr/share/sgml/docbook/stylesheet/dsssl/modular/HTML_STYLESHEET=$(DSSSL_ROOT)/html/docbook.dslJADE=jadeJADE_ARGS=-t sgml -d $(HTML_STYLESHEET)   # -V nochunksSGML_VALIDATE=nsgmls -sall: all_htmlall_html: user/book1.html documentation/book1.html development/book1.htmluser/book1.html: user/user.dbk	rm -f user/*.htm*	export i=user; cd $$i; $(JADE) $(JADE_ARGS) $$i.dbk	cp user/book1.htm user/book1.htmldocumentation/book1.html: documentation/documentation.dbk	rm -f documentation/*.htm*	export i=documentation; cd $$i; $(JADE) $(JADE_ARGS) $$i.dbk	cp documentation/book1.htm documentation/book1.htmldevelopment/book1.html: development/development.dbk	rm -f development/*.htm*	export i=development; cd $$i; $(JADE) $(JADE_ARGS) $$i.dbk	cp development/book1.htm development/book1.htmlvalidate::	for i in $(SECTIONS); do $(SGML_VALIDATE) $$i/$$i.dbk; done# install the stuff on the remote server using ssh.  The bryce->bdenney# stuff is just because Bryce's local username and sourceforge# username don't match.  If your usernames match then the "whoami"# will work ok.webinst: #all	# fix <TITLE> tags in all html files	./fixtitles.pl `find . -name '*.htm'`	./fixtitles.pl `find . -name '*.html'`	# fix permissions locally so that tar will install things right	chmod 664 `find $(INSTALL_LIST) -type f -print`	chmod 775 `find $(INSTALL_LIST) -type d -print`	# copy to remote	@echo Installing documentation on $(REMOTE_PATH)	case "`whoami`" in \	  bryce) sfuser=bdenney;; \	  daemian) sfuser=vasudeva;; \	  *) sfuser=`whoami`;; \	esac; \	tar cf - $(INSTALL_LIST) | \	  $(SSH) $$sfuser@$(REMOTE_HOST) "cd $(REMOTE_PATH) && umask 002 && tar xvf -"clean:	#remove generated files	for S in $(SECTIONS); do \	  rm -f $$S/*.htm* $$S/*.ps $$S/*.pdf $$S/*.out $$S/*.rtf $$S/*.tex $$S/*.fot; \	done

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -