diff options
| -rw-r--r-- | Doc/Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 7053958..215a24e 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -109,12 +109,6 @@ lib: lib.ps ext: ext.ps api: api.ps -# All formats for a single document -api-all: api.dvi api.pdf api.ps l2hapi -ext-all: ext.dvi ext.pdf ext.ps l2hext -lib-all: lib.dvi lib.pdf lib.ps l2hlib -tut-all: tut.dvi tut.pdf tut.ps l2htut - # Rules to build PostScript and PDF formats .SUFFIXES: .dvi .ps .pdf .tex |