isabelle: doc-src/Makefile.in@526e149999cc (annotated)

6593 62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	1	#
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	2	# $Id$
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	3	#
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	4	# Common part for Doc Makefiles
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	5	#
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	6
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	7	## settings
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	8
62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	9	LATEX = latex
6612 e1b7b76bc197 tuned; wenzelm parents: 6604 diff changeset	10	PDFLATEX = pdflatex
6593 62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	11	BIBTEX = bibtex
7071 55b80ec1927d rail -a; wenzelm parents: 7042 diff changeset	12	RAIL = rail -a
6593 62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	13	SEDINDEX = ../sedindex
6612 e1b7b76bc197 tuned; wenzelm parents: 6604 diff changeset	14	FIXBOOKMARKS = perl -pi ../fixbookmarks.pl
6593 62204772812f Common part for Doc Makefiles; wenzelm parents: diff changeset	15
28954 0811c7419c32 remove .lof as well; wenzelm* parents: 15646 diff changeset	16	DEFAULT_GARBAGE = .aux .log .toc .idx .rai .rao .bbl .ind .ilg .blg .out .lof

author	wenzelm
	Sun, 31 May 2009 19:05:20 +0200
changeset 31322	526e149999cc
parent 28954	0811c7419c32
child 33191	fe3c65d9c577
permissions	-rw-r--r--