diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/docs/Makefile b/docs/Makefile deleted file mode 100644 index a568b5e4..00000000 --- a/docs/Makefile +++ /dev/null @@ -1,15 +0,0 @@ -# $Id$ - -all: repository-engine-objects.pdf bpki.pdf - -bpki.pdf: bpki-symmetric.pdf bpki-asymmetric.pdf - -.SUFFIXES: .pdf .dot .tex - -.dot.pdf: - dot -Tps2 $< | ps2pdf - $@ - -.tex.pdf: - pdflatex $< - pdflatex $< - rm -f $*.log $*.aux |