aboutsummaryrefslogtreecommitdiffstats
path: root/debian/patches/300_manual-links.patch
diff options
context:
space:
mode:
authorTatsuya Kinoshita <tats@debian.org>2015-01-24 14:36:40 +0000
committerTatsuya Kinoshita <tats@debian.org>2015-01-24 14:37:05 +0000
commit8595cb4102d547388d0d9e699d10a14f8f7aa71c (patch)
treecd27e4b710769000b651b9af4db2704a1cd328dd /debian/patches/300_manual-links.patch
parentUpdate Vcs-Browser (diff)
downloadw3m-8595cb4102d547388d0d9e699d10a14f8f7aa71c.tar.gz
w3m-8595cb4102d547388d0d9e699d10a14f8f7aa71c.zip
Integrate Debian changes into 020_debian.patch (closes: #776112)
(debian/patches/*.patch except 010_upstream.patch are merged)
Diffstat (limited to 'debian/patches/300_manual-links.patch')
-rw-r--r--debian/patches/300_manual-links.patch32
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>