From 8595cb4102d547388d0d9e699d10a14f8f7aa71c Mon Sep 17 00:00:00 2001 From: Tatsuya Kinoshita Date: Sat, 24 Jan 2015 23:36:40 +0900 Subject: Integrate Debian changes into 020_debian.patch (closes: #776112) (debian/patches/*.patch except 010_upstream.patch are merged) --- debian/patches/300_manual-links.patch | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100644 debian/patches/300_manual-links.patch (limited to 'debian/patches/300_manual-links.patch') 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 -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がサーバのふりをしてスクリプトを起動し，その出力を - 読みこんで表示するわけです． --ブックマークの登録と --外部ビューアの編集 -+ブックマークの登録と外部ビューアの編集 - は，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 keymap.lynx) 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 --bookmark registration --and helper-app editor -+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. -

-- cgit v1.2.3