2001-02-27 19:27:24 +01:00
|
|
|
bin/jgrep
|
|
|
|
|
bin/jegrep
|
|
|
|
|
bin/jfgrep
|
2001-07-23 05:55:20 +02:00
|
|
|
@unexec install-info --delete %D/info/grep.info %D/info/dir
|
|
|
|
|
info/grep.info
|
|
|
|
|
@exec install-info %D/info/grep.info %D/info/dir
|
|
|
|
|
%%PORTDOCS%%share/doc/ja-grep/README.MB
|
|
|
|
|
%%PORTDOCS%%share/doc/ja-grep/README.mlb
|
|
|
|
|
%%PORTDOCS%%@dirrm share/doc/ja-grep
|
