isabelle: doc-src/System/Makefile@51eed1aefccd (annotated)

6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	1	#
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	2	# $Id$
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	3	#
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	4
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	5	## targets
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	6
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	7	default: dvi
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	8	dist: dvi
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	9
0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	10
6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	11	## dependencies
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	12
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	13	include ../Makefile.in
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	14
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	15	NAME = system
6601 51eed1aefccd fixed FILES; wenzelm parents: 6600 diff changeset	16	FILES = system.tex basics.tex misc.tex fonts.tex present.tex \
51eed1aefccd fixed FILES; wenzelm parents: 6600 diff changeset	17	../iman.sty ../extra.sty
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	18
6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	19	dvi: $(NAME).dvi
3170 0b3ff84bab29 The Isabelle System Manual; wenzelm parents: diff changeset	20
6600 5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	21	$(NAME).dvi: $(FILES) isabelle.eps
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	22	touch $(NAME).ind
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	23	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	24	$(LATEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	25	$(SEDINDEX) $(NAME)
5a94bd71cc41 improved Makefile; wenzelm parents: 5548 diff changeset	26	$(LATEX) $(NAME)

author	wenzelm
	Wed, 05 May 1999 18:41:31 +0200
changeset 6601	51eed1aefccd
parent 6600	5a94bd71cc41
child 6623	021728c71030
permissions	-rw-r--r--