|
1826
|
1 |
###############################################
|
|
|
2 |
# Title: Tools/8bit/doc/Makefile
|
|
|
3 |
# ID: $Id$
|
|
|
4 |
# Author: David von Oheimb
|
|
|
5 |
# Copyright 1996 TU Muenchen
|
|
|
6 |
#
|
|
|
7 |
# Makefile for the document files
|
|
|
8 |
###############################################
|
|
|
9 |
|
|
|
10 |
# operate silently
|
|
|
11 |
MAKEFLAGS='s'
|
|
|
12 |
|
|
1907
|
13 |
LATEX=latex2e
|
|
4175
|
14 |
ISA2LATEX=../bin/isa2latex
|
|
1826
|
15 |
|
|
|
16 |
CHECKOUT=co
|
|
|
17 |
|
|
|
18 |
.SUFFIXES: $(SUFFIXES) .itex .thy .ML .tex .dvi
|
|
|
19 |
|
|
|
20 |
.itex.tex:
|
|
|
21 |
$(ISA2LATEX) -x -e -o $@ $<
|
|
|
22 |
.thy.tex .ML.tex:
|
|
|
23 |
$(ISA2LATEX) -s -e -f '\oddsidemargin-1cm{}\evensidemargin-1cm' -o $@ $<
|
|
|
24 |
.tex.dvi:
|
|
|
25 |
$(LATEX) $<
|
|
|
26 |
|
|
|
27 |
FONTDOCFILES = fontindex.dvi keyindex.dvi fkmatrix.dvi
|
|
|
28 |
|
|
4165
|
29 |
all: manual.dvi fontdocfiles
|
|
|
30 |
|
|
1826
|
31 |
fontdocfiles: $(FONTDOCFILES)
|
|
|
32 |
|
|
4175
|
33 |
manual.dvi: manual.tex
|
|
|
34 |
$(LATEX) $< >/dev/null; $(LATEX) $<
|
|
1826
|
35 |
clean:
|
|
4165
|
36 |
rm -f *.tex *.aux *.log
|