info/GNU_which/Makefile

   1 # この Makefile が何をやるもので、どのように使うかについては、
   2 # 同一ディレクトリの about_this_makefile.txt をご覧ください。
   3
   4 include ../../JM.rules
   5
   6 PACKAGE = $(shell basename `pwd`)
   7 MANTYPE = info
   8 WWWDEST = $(WWWROOT)/$(MANTYPE)/$(PACKAGE)
   9
  10 GITTOP = $(ROOT)/jm.git
  11 INFOPKGWWW = $(GITTOP)/www/info-pkg
  12 INFOTMPDIR = $(TMPDIR)/info
  13 INFORELEASE = $(shell env LANG=C date +"%Y%m%d")
  14 INFODEST = info-ja-GNU_which-$(INFORELEASE)
  15
  16 TEXI2HTML = texi2html
  17 TEXIFILE = release/which-ja.texi
  18 HTMLDIR = html
  19 HTMLFILE = $(HTMLDIR)/which-ja.html
  20
  21 html:   $(HTMLFILE)
  22
  23 $(HTMLFILE):    $(TEXIFILE)
  24         mkdir -p $(HTMLDIR)
  25         $(TEXI2HTML) --output=$@ $<
  26
  27 clean:
  28         $(RM) -r $(HTMLDIR)
  29         $(RM) -r $(INFOPKGWWW)
  30
  31 html-install:   $(HTMLFILE)
  32         mkdir -p $(WWWDEST)
  33         rsync -av --delete $(HTMLDIR)/ $(WWWDEST)
  34         -$(RM) -r $(HTMLDIR)
  35
  36 pkg-install:
  37         [ -d $(INFOPKGWWW) ] || mkdir -p $(INFOPKGWWW)
  38         -$(RM) $(INFOPKGWWW)/info-ja-GNU_which-*
  39         [ -d $(INFOTMPDIR) ] || mkdir -p $(INFOTMPDIR)
  40         -$(RM) -r $(INFOTMPDIR)/info-ja-GNU_which-*
  41         mkdir -p $(INFOTMPDIR)/$(INFODEST)
  42         cp -p release/* $(INFOTMPDIR)/$(INFODEST)
  43         cd $(INFOTMPDIR); \
  44         tar czf $(INFODEST).tar.gz $(INFODEST); \
  45         cp -p $(INFODEST).tar.gz $(INFOPKGWWW)
  46
  47 # 上記 pkg-install ターゲットの最後の cp では、info マニュアルの
  48 # タールボールを jm.git/www/info-pkg ディレクトリにコピーしている。
  49 # こうしておくと、後で jm.git/www/Makefile が実行されるときに、
  50 # install ターゲット中で "$(RSYNC) ... * ... $(WWWROOT)" が行われるが、
  51 # このワイルドカード "*" に info-pkg ディレクトリも含まれることになるので、
  52 # info-pkg/* も $(WWWROOT)=$(ROOT)/htdocs にコピーされるのである。
  53 # もっと単純に書くべきだったかもしれない。
  54
  55 install:        html-install pkg-install