portlint (add install-info)

This commit is contained in:
Michael Haro 2000-02-04 23:27:45 +00:00
parent 39713feb1a
commit 42b6333d83
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=25475

View file

@ -1,8 +1,10 @@
bin/prcs
@unexec install-info --delete
info/prcs.info
info/prcs.info-1
info/prcs.info-2
info/prcs.info-3
@exec install-info
share/emacs/site-lisp/prcs.el
share/emacs/site-lisp/prcs.elc
share/emacs/site-lisp/prcs-ediff.el