diff options
author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-12-18 16:48:02 +0000 |
---|---|---|
committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-12-18 16:48:02 +0000 |
commit | 3888822eef9cb6c5dcba2657441ec47a09fc33d0 (patch) | |
tree | abbcbb0a7ca94e8ec13be17bbcf3d62693fe5bf4 /config.h.dist | |
parent | [w3m-dev 03582] add config options graphic_char and use_proxy (diff) | |
download | w3m-3888822eef9cb6c5dcba2657441ec47a09fc33d0.tar.gz w3m-3888822eef9cb6c5dcba2657441ec47a09fc33d0.zip |
[w3m-dev 03583] w3mman
* scripts/w3mman/README: W3MMAN_W3M, W3MMAN_MAN
* scripts/w3mman/w3mman.1.in: add ENVIRONMENT
* scripts/w3mman/w3mman.in: $ENV{'W3MMAN_W3M'}, $ENV{'W3MMAN_MAN'}
* scripts/w3mman/w3mman2html.cgi.in: $ENV{'W3MMAN_MAN'}
hyphenation
From: Hironori SAKAMOTO <hsaka@mth.biglobe.ne.jp>
Diffstat (limited to 'config.h.dist')
0 files changed, 0 insertions, 0 deletions