📄 makefile
字号:
# Make RCS man pages.# $Id: Makefile,v 5.2 1991/08/19 03:13:55 eggert Exp $MANDIR = /usr/contrib/maninstall = install -c -m 444all clean ::install :: nroff -man ci.1 > ${DESTDIR}${MANDIR}/cat1/ci.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/ci.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/ci.0 nroff -man co.1 > ${DESTDIR}${MANDIR}/cat1/co.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/co.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/co.0 nroff -man ident.1 > ${DESTDIR}${MANDIR}/cat1/ident.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/ident.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/ident.0 nroff -man merge.1 > ${DESTDIR}${MANDIR}/cat1/merge.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/merge.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/merge.0 nroff -man rcs.1 > ${DESTDIR}${MANDIR}/cat1/rcs.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/rcs.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/rcs.0 nroff -man rcsdiff.1 > ${DESTDIR}${MANDIR}/cat1/rcsdiff.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/rcsdiff.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/rcsdiff.0 nroff -man rcsintro.1 > ${DESTDIR}${MANDIR}/cat1/rcsintro.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/rcsintro.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/rcsintro.0 nroff -man rcsmerge.1 > ${DESTDIR}${MANDIR}/cat1/rcsmerge.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/rcsmerge.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/rcsmerge.0 nroff -man rlog.1 > ${DESTDIR}${MANDIR}/cat1/rlog.0 chmod 444 ${DESTDIR}${MANDIR}/cat1/rlog.0 chown bin.bin ${DESTDIR}${MANDIR}/cat1/rlog.0 nroff -man rcsfile.5 > ${DESTDIR}${MANDIR}/cat5/rcsfile.0 chmod 444 ${DESTDIR}${MANDIR}/cat5/rcsfile.0 chown bin.bin ${DESTDIR}${MANDIR}/cat5/rcsfile.0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -