diff options
| author | Tatsuya Kinoshita <tats@debian.org> | 2013-12-27 10:08:42 +0000 |
|---|---|---|
| committer | Tatsuya Kinoshita <tats@debian.org> | 2013-12-27 10:19:43 +0000 |
| commit | a13ec4c5c5eecde56f2d61905f59a000d32c446b (patch) | |
| tree | f595baeb92dc3b4e9904320b47edfeec377b9726 /debian | |
| parent | Make keymap.* symlinks for MANUAL.html (diff) | |
| download | w3m-a13ec4c5c5eecde56f2d61905f59a000d32c446b.tar.gz w3m-a13ec4c5c5eecde56f2d61905f59a000d32c446b.zip | |
New patch 300_manual-links.patch to fix links in MANUAL.html (closes: #517315)
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/patches/300_manual-links.patch | 32 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 33 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> diff --git a/debian/patches/series b/debian/patches/series index 38de3ff..35486f9 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -28,4 +28,5 @@ 270_refresh-url.patch 280_search-next.patch 290_closedir.patch +300_manual-links.patch 900_ChangeLog.patch |