diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/patches/300_manual-links.patch | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/debian/patches/300_manual-links.patch b/debian/patches/300_manual-links.patch deleted file mode 100644 index 5c46065..0000000 --- a/debian/patches/300_manual-links.patch +++ /dev/null @@ -1,32 +0,0 @@ -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> |