📄 makefile
字号:
# Makefile for zgv docs## Only info version is made by default, do `make dvi' to make a .dvi# file.# This gets definitions for INFODIR, MANDIR, etc.include ../config.mkall: info maninfo: zgvdvi: zgv.dvizgv: zgv.texi makeinfo zgv.texi# `-c' removes the huge number of associated files created by TeX.# This saves doing a `make clean' from hell. :-)zgv.dvi: zgv.texi @echo "=== NB: If you don't want A4 paper, edit config.mk! ===" texi2dvi -c $(USE_A4_DEF) zgv.texi# This explicitly mentions `gawk' because makeman requires it.man: zgv.1zgv.1: zgv.texi makeman.awk @echo 'Making man page from zgv.texi...' gawk -f makeman.awk <zgv.texi >zgv.1# I think this one's getting just a tiny bit confusing :-}ifeq ($(INFO_DIR_UPDATE),no)install:elseinstall: ../src/install-infoendif install -m 644 zgv.1 $(MANDIR) install -m 644 zgv zgv-? $(INFODIR)# Update info `dir' file.# Info always uses a dir file in preference to a dir.gz, so we don't use# dir.gz unless it's the only game in town.ifneq ($(INFO_DIR_UPDATE),no) if [ -f $(INFODIR)/dir.gz -a ! -f $(INFODIR)/dir ]; then \ gzip -d $(INFODIR)/dir.gz; \ ../src/install-info zgv $(INFODIR)/dir; \ gzip $(INFODIR)/dir; \ else \ ../src/install-info zgv $(INFODIR)/dir; \ fiendif../src/install-info: ../src/install-info.c cd ../src && $(MAKE) install-info# can't easily fix dir :-/, but do remove the files.# explicitly removes /usr/man/man1/zgv.1* and /usr/info/zgv*# in case of old installation.uninstall: $(RM) $(MANDIR)/zgv.1* $(RM) /usr/man/man1/zgv.1* $(RM) $(INFODIR)/zgv* $(RM) /usr/info/zgv*# This *doesn't* remove the Info files, which should stick around to# be included in both source and binary distributions.# The man page is removed though, as it can be pretty trivially rebuilt.clean: $(RM) *~ zgv.dvi zgv.1
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -