# -*- mode: Makefile; -*-
# ----------------------------------------------------------------------------
include /home/clip/lib/lpdoc/SETTINGS

DISTDIR   	     = /home/clip/public_html/Software
DISTDIRURL   	     = ~clip/Software
MAILLIST   	     = ""
DOWNLOAD   	     = http://www.clip.dia.fi.upm.es/download_cgi/download.cgi

MAIN=xdvipresent
VPMAIN=$(MAIN)-$(VERSION)p$(PATCH)
MAKE=gmake
CIAOHOME=/home/clip/Systems/ciao

FILEPATHS = /home/clip/Systems/xdvipresent
SYSTEMPATHS = /home/clip/Systems/ciao/lib \
	      /home/clip/Systems/ciao/library \
	      /home/clip/Systems/ciao/doc/common \
              /home/clip/Systems/ciao/contrib
MAINOPTS = -nobugs -norefs
COMPONENTS = 
DOCFORMATS = ascii html htmlindex
INDICES= 
HTMLSTYLE=$(LIBDIR)/clip.css
HTMLINDEXHEADFILE= $(DISTDIR)/Head.html
HTMLINDEXTAILFILE= $(DISTDIR)/Tail.html
#
VERSION:=$(shell cd ..; cat version/GlobalVersion)
PATCH:=$(shell cd ..; cat version/GlobalPatch)
#
# ----------------------------------------------------------------------------

installdist: 
	@echo "*** -------------------------------------------------------"
	@echo "*** Building the documentation"
	@echo "*** -------------------------------------------------------"
	cd ../doc; $(MAKE) all
	cd ../doc; $(MAKE) distclean
	@echo "*** -------------------------------------------------------"
	@echo "*** Cleaning up for building distribution tarfile"
	@echo "*** -------------------------------------------------------"
	cd ..; $(MAKE) clean
	@echo "*** -------------------------------------------------------"
	@echo "*** Building and installing source in distribution area"
	@echo "*** -------------------------------------------------------"
	@echo "<UL><LI><A HREF=""\
	    $(DOWNLOAD)?url=$(DISTDIRURL)/$(VPMAIN).tar.gz&list=$(MAILLIST)"">\
	    <B class=applname>$(MAIN)</B> \
	    Source ($(VPMAIN).tar.gz)</A></UL>" \
	    > $(DISTDIR)/$(MAIN)_dist.htmlindex
	-chmod $(DATAMODE) $(DISTDIR)/$(BASEMAIN)_dist.htmlindex
	-cd ../..; ln -s $(MAIN) $(MAIN)-$(VERSION) 
	-cd ../..; tar -chf $(VPMAIN).tar $(MAIN) 
	-chmod $(DATAMODE) ../../$(VPMAIN).tar
	-gzip -f ../../$(VPMAIN).tar
	-mkdir -p $(DISTDIR)
	-chmod $(EXECMODE) $(DISTDIR)
	-mv -f ../../$(VPMAIN).tar.gz $(DISTDIR)
	-chmod $(DATAMODE) $(DISTDIR)/$(VPMAIN).tar.gz
	$(MAKE) installbanner
	@echo Done

installbanner:
	@echo "*** -------------------------------------------------------"
	@echo "*** Building banner in distribution area"
	@echo "*** -------------------------------------------------------"
	-echo "<H2>List of all available versions for $(MAIN):</H2>" \
	      > $(DISTDIR)/$(MAIN)_za.htmlindex
	-chmod $(DATAMODE) $(DISTDIR)/$(MAIN)_za.htmlindex
	-cd $(DISTDIR); $(CIAOHOME)/etc/list_downloads_in_html \
            "$(MAIN)-*.*p*.*" $(DOWNLOAD) "$(DISTDIRURL)" $(MAILLIST) \
	    > $(BASEMAIN)_zz.htmlindex
	-chmod $(DATAMODE) $(DISTDIR)/$(MAIN)_zz.htmlindex
	cd ..; $(MAKE) clean
	$(MAKE) all DOCDIR=$(DISTDIR)
	$(MAKE) install DOCDIR=$(DISTDIR)
	-mv $(MAIN).ascii ../README
	-chmod $(DATAMODE) ../README
	$(MAKE) braveclean DOCDIR=$(DISTDIR)

uninstalldist: 
	$(MAKE) uninstall DOCDIR=$(DISTDIR)

# ----------------------------------------------------------------------------

