info/GNU_which: Rebuild GNU_which's info directory.

[linuxjm/jm.git] / info / GNU_which / Makefile

diff --git a/info/GNU_which/Makefile b/info/GNU_which/Makefile
new file mode 100644 (file)
index 0000000..d9a696d
--- /dev/null
+++ b/info/GNU_which/Makefile
@@ -0,0 +1,55 @@
+# この Makefile が何をやるもので、どのように使うかについては、
+# 同一ディレクトリの about_this_makefile.txt をご覧ください。
+
+include ../../JM.rules
+
+PACKAGE = $(shell basename `pwd`)
+MANTYPE = info
+WWWDEST = $(WWWROOT)/$(MANTYPE)/$(PACKAGE)
+
+GITTOP = $(ROOT)/jm.git
+INFOPKGWWW = $(GITTOP)/www/info-pkg
+INFOTMPDIR = $(TMPDIR)/info
+INFORELEASE = $(shell env LANG=C date +"%Y%m%d")
+INFODEST = info-ja-GNU_which-$(INFORELEASE)
+
+TEXI2HTML = texi2html
+TEXIFILE = release/which-ja.texi
+HTMLDIR = html
+HTMLFILE = $(HTMLDIR)/which-ja.html
+
+html:  $(HTMLFILE)
+
+$(HTMLFILE):   $(TEXIFILE)
+       mkdir -p $(HTMLDIR)
+       $(TEXI2HTML) --output=$@ $<
+
+clean:
+       $(RM) -r $(HTMLDIR)
+       $(RM) -r $(INFOPKGWWW)
+
+html-install:  $(HTMLFILE)
+       mkdir -p $(WWWDEST)
+       rsync -av --delete $(HTMLDIR)/ $(WWWDEST)
+       -$(RM) -r $(HTMLDIR)
+
+pkg-install:
+       [ -d $(INFOPKGWWW) ] || mkdir -p $(INFOPKGWWW)
+       -$(RM) $(INFOPKGWWW)/info-ja-GNU_which-*
+       [ -d $(INFOTMPDIR) ] || mkdir -p $(INFOTMPDIR)
+       -$(RM) -r $(INFOTMPDIR)/info-ja-GNU_which-*
+       mkdir -p $(INFOTMPDIR)/$(INFODEST)
+       cp -p release/* $(INFOTMPDIR)/$(INFODEST)
+       cd $(INFOTMPDIR); \
+       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