From: cyoichi Date: Fri, 7 Jul 2023 01:36:49 +0000 (+0900) Subject: info/GNU_which: Add some explanations. X-Git-Url: http://git.osdn.net/view?p=linuxjm%2Fjm.git;a=commitdiff_plain;h=HEAD info/GNU_which: Add some explanations. modified: info/GNU_which/Makefile modified: info/GNU_which/about_this_makefile.txt --- diff --git a/info/GNU_which/Makefile b/info/GNU_which/Makefile index d9a696df..c040187a 100644 --- a/info/GNU_which/Makefile +++ b/info/GNU_which/Makefile @@ -44,12 +44,14 @@ pkg-install: tar czf $(INFODEST).tar.gz $(INFODEST); \ cp -p $(INFODEST).tar.gz $(INFOPKGWWW) -# 上記 pkg-install ターゲットの最後の cp では、info マニュアルの -# タールボールを jm.git/www/info-pkg ディレクトリにコピーしている。 -# こうしておくと、後で jm.git/www/Makefile が実行されるときに、 -# install ターゲット中で "$(RSYNC) ... * ... $(WWWROOT)" が行われるが、 -# このワイルドカード "*" に info-pkg ディレクトリも含まれることになるので、 -# info-pkg/* も $(WWWROOT)=$(ROOT)/htdocs にコピーされるのである。 -# もっと単純に書くべきだったかもしれない。 - install: html-install pkg-install + +# 上記 pkg-install ターゲットの最後の cp では、info マニュアルの +# タールボールを $(INFOTMPDIR) から jm.git/www/info-pkg/ ディレクトリに +# コピーしている。こうしておくと、後で jm.git/www/Makefile が実行される際に、 +# その download.html ターゲット中で本マニュアル・パッケージを公開リストに +# 登録する処理が行われることになる。さらに、同 Makefile の install +# ターゲット中で "$(RSYNC) ... * ... $(WWWROOT)" が行われて、 +# (このワイルドカード "*" に info-pkg ディレクトリも含まれるので) +# jm.git/www 中の info-pkg/* も $(WWWROOT)=$(ROOT)/htdocs、 +# すなわち、JM の公開ディレクトリにコピーされるのである。 diff --git a/info/GNU_which/about_this_makefile.txt b/info/GNU_which/about_this_makefile.txt index fbca46ec..0e8e1eb3 100644 --- a/info/GNU_which/about_this_makefile.txt +++ b/info/GNU_which/about_this_makefile.txt @@ -16,8 +16,8 @@ SUBDIRS 変数に GNU_which を追加します。こんなふうに。 公開する場合にやってておくことが、もうひとつありました。 jm.git/www/INDEX/info.m4 の「目次」の部分に GNU_which の項目を追加して -JM のホームページから which の info マニュアルがたどれるようにすること。 -こんな具合です。 +JM のホームページから which の info マニュアルの html 版がたどれるように +すること。こんな具合です。

目次

+なお公開には、info マニュアル・パッケージをダウンロードできるように +することも伴いますが、そのためには、パッケージを公開パッケージの +リストにに登録しなければなりません。ただし、そちらについては、 +jm.git/www/Makefile の download.html ターゲットで自動的に行われるので、 +何もする必要がありません。 + -- -cyoichi (2023/05/05) +cyoichi (2023/07/07)