diff options
| author | Martin Mares <mj@ucw.cz> | 2001-01-19 20:30:08 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2001-01-19 20:30:08 +0000 |
| commit | 4d04187465fdeb3fb755b4d01ec640bbe0e36eb9 (patch) | |
| tree | 9b1206099940b42770890fc6917799272ccb8e7a /doc/slt2001/Makefile | |
| parent | 0766e962e9a9539ceccd23090e5bb8e1301fce8c (diff) | |
Added paper for my talk about BIRD at SLT 2001.
Diffstat (limited to 'doc/slt2001/Makefile')
| -rw-r--r-- | doc/slt2001/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/slt2001/Makefile b/doc/slt2001/Makefile new file mode 100644 index 00000000..5979e1a0 --- /dev/null +++ b/doc/slt2001/Makefile @@ -0,0 +1,10 @@ +all: slt.dvi + +slt.dvi: slt.tex + csplain slt.tex + +slt.ps: slt.dvi + dvips -o slt.ps -D600 -ta4 slt.dvi + +clean: + rm -f *~ *.log *.tfm *.*pk *.*gf *.ps *.dvi |