diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/300_manual-links.patch | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/debian/patches/300_manual-links.patch b/debian/patches/300_manual-links.patch new file mode 100644 index 0000000..5c46065 --- /dev/null +++ b/debian/patches/300_manual-links.patch @@ -0,0 +1,32 @@ +Subject: Cleanup unusable links in MANUAL.html +From: Tatsuya Kinoshita <tats@debian.org> +Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=517315 + +diff --git a/doc-jp/MANUAL.html b/doc-jp/MANUAL.html +index 41d70f1..c9d0d5b 100644 +--- a/doc-jp/MANUAL.html ++++ b/doc-jp/MANUAL.html +@@ -489,8 +489,7 @@ w3m + w3mを使えば，HTTPサーバなしでCGIスクリプトを起動することができます． + このとき，w3mがサーバのふりをしてスクリプトを起動し，その出力を + 読みこんで表示するわけです． +-<a href="file:///$LIB/w3mbookmark?mode=panel&bmark=~/.w3m/bookmark.html&url=MANUAL.html&title=w3m+manual">ブックマークの登録</a>と +-<a href="file:///$LIB/w3mhelperpanel?mode=panel">外部ビューアの編集</a> ++ブックマークの登録と外部ビューアの編集 + は，local CGIのスクリプトとして実現されています． + local CGIを使えば，w3mを汎用のフォーム入力インタフェースとして + 使うことができます． +diff --git a/doc/MANUAL.html b/doc/MANUAL.html +index aff0189..04800d8 100644 +--- a/doc/MANUAL.html ++++ b/doc/MANUAL.html +@@ -468,8 +468,7 @@ and <a href="keymap.lynx">keymap.lynx</a>) as examples. + You can run CGI scripts using w3m, without any HTTP server. + It means that w3m behaves like an HTTP server and activates CGI script, + then w3m reads the output of the script and display it. The +-<a href="file:///$LIB/w3mbookmark?mode=panel&bmark=~/.w3m/bookmark.html&url=MANUAL.html&title=w3m+manual">bookmark registration</a> +-and <a href="file:///$LIB/w3mhelperpanel?mode=panel">helper-app editor</a> ++bookmark registration and helper-app editor + are realized as local CGI scripts. + Using local CGI, w3m can be used as a general purpose form interface. + <P> |