diff options
| author | gj <gj@FreeBSD.org> | 2001-10-08 18:34:46 +0800 |
|---|---|---|
| committer | gj <gj@FreeBSD.org> | 2001-10-08 18:34:46 +0800 |
| commit | f436149d8f8c2e1a5b56276683f38ddc8689e7be (patch) | |
| tree | e08cbd375dad77e474711d65dae861078461e059 /editors/dte | |
| parent | ebaa012616d2aaa86630092a71462af4dc5c0058 (diff) | |
| download | freebsd-ports-gnome-f436149d8f8c2e1a5b56276683f38ddc8689e7be.tar.gz freebsd-ports-gnome-f436149d8f8c2e1a5b56276683f38ddc8689e7be.tar.zst freebsd-ports-gnome-f436149d8f8c2e1a5b56276683f38ddc8689e7be.zip | |
Add a pre-configure target to patch some man pages such that they
reference the correct, gzipped source man pages.
PR: ports/29523
Submitted by: swear@aa.net (Gary W. Swearingen)
Diffstat (limited to 'editors/dte')
0 files changed, 0 insertions, 0 deletions