diff options
| author | MIHIRA Sanpei Yoshiro <sanpei@FreeBSD.org> | 2001-08-16 08:04:58 +0000 |
|---|---|---|
| committer | MIHIRA Sanpei Yoshiro <sanpei@FreeBSD.org> | 2001-08-16 08:04:58 +0000 |
| commit | 35fef80e21c30f06d929ccafc3b37a85db2069ad (patch) | |
| tree | 50d013ca19bf87b7a5c8193268c9f0493bbd6de1 /lang/python-doc-postscript-letter | |
| parent | Support %%PORTDOCS%%. (diff) | |
Fix enviroment variable `DIFF_OPTIONS' problem
Fix --ignore-case option
That port fails to work when DIFF_OPTIONS is set to something like "-u"
and the "-i" option to wdiff also fails to work (not the -i option is
not in the man page but it is in the NEWS file).
Submitted by: Dave Chapeskie <dchapes@ddm.crosswinds.net>
Notes
Notes:
svn path=/head/; revision=46304
Diffstat (limited to 'lang/python-doc-postscript-letter')
0 files changed, 0 insertions, 0 deletions