repo.or.cz
/
prop.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge branch 'makefiles'
[prop.git]
/
docs
/
Makefile
blob
5d6fe1a324de52080de3f743f933d80867de317c
1
TEX
=
refman.
tex
2
DVI
=
refman.
dvi
3
PS
=
refman.ps
4
RM
= /
bin
/
rm
5
INDEXSTYLE
=
bbind.ist
6
7
all
: $(
DVI
) $(
PS
)
8
9
ps
: $(
PS
)
10
11
again
:
12
touch
$(
TEX
)
13
bibtex refman
14
makeindex
-
s
$(
INDEXSTYLE
)
refman.idx
15
make
16
index
:
17
makeindex
-
s
$(
INDEXSTYLE
)
refman.idx
18
html
:
19
latex2html refman.
tex
20
21
%
.
dvi
: %
.
tex
22
latex
$(
@
:
.
dvi
=
.
tex
)
23
%
.ps
: %
.
dvi
24
dvips
$(
@
:
.ps
=
.
dvi
) -
o
$
@
25
26
spotless
:
27
$(
RM
) -
f
*
.
dvi
*
.ps
*
.log
*
.aux
*
.blg
*
.bbl
*
.toc
*
.
info