equal
deleted
inserted
replaced
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 |
|
13 LATEX=latex2e |
|
14 ISA2LATEX=../bin/isa2latex |
|
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 |
|
29 all: manual.dvi fontdocfiles |
|
30 |
|
31 fontdocfiles: $(FONTDOCFILES) |
|
32 |
|
33 manual.dvi: manual.tex |
|
34 $(LATEX) $< >/dev/null; $(LATEX) $< |
|
35 clean: |
|
36 rm -f *.tex *.aux *.log |
|