isabelle: Admin/website/build/project.mak@fc385ce6187d (annotated)

16233 e634d33deb86 added new website haftmann parents: diff changeset	1	# isaweb makefile - project-specific dependencies
e634d33deb86 added new website haftmann parents: diff changeset	2	# $Id$
e634d33deb86 added new website haftmann parents: diff changeset	3
17671 e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	4	project: $(OUTPUTROOT)/dist site
16329 c045695273a3 added chmod for packages haftmann parents: 16323 diff changeset	5	.PHONY: project
c045695273a3 added chmod for packages haftmann parents: 16323 diff changeset	6
17671 e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	7	cleanproject:
e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	8	rm -rf $(OUTPUTROOT)/dist
e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	9	.PHONY: cleanproject
16274 fb68cffed61f a more spohisticated symlink handling haftmann parents: 16243 diff changeset	10
17671 e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	11	$(OUTPUTROOT)/dist: $(ISABELLE_DIST)
e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	12	$(COPY) -vRud $< $@
e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	13	chmod -R g-w $@
16242 f0d154b21b86 added library symlink haftmann parents: 16233 diff changeset	14
16233 e634d33deb86 added new website haftmann parents: diff changeset	15	include/documentationdist.include.html: $(ISABELLE_DOC_CONTENT_FILE)
17671 e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	16	perl build/mkcontents.pl -p '//dist/Isabelle/doc/' $< $@
16300 a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	17
a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	18	include conf/distname.mak
a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	19	conf/distname.mak:
a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	20	@echo 'There is no conf/distname.mak file; it should have been'; \
a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	21	echo 'allocated by makedist.'; \
17563 abb280dd3431 unify dist and main haftmann parents: 16329 diff changeset	22	echo 'If you have no makedist at hand, allocate a conf/distname.mak file'; \
16300 a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	23	echo 'yourself, e. g. by:'; \
a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	24	echo; \
17671 e9e341bc7d42 website preparation for Isabelle2005 haftmann parents: 17605 diff changeset	25	echo 'echo "DISTNAME=Isabelle1705" > conf/distname.mak'; \
16300 a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	26	echo; \
a4e163c7ed9c minor refinements haftmann parents: 16277 diff changeset	27	false; \

author	aspinall
	Fri, 30 Sep 2005 18:18:34 +0200
changeset 17740	fc385ce6187d
parent 17671	e9e341bc7d42
child 17743	f546af04142a
permissions	-rw-r--r--