diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index b7eab0c6..00000000 --- a/doc/Makefile +++ /dev/null @@ -1,23 +0,0 @@ -# makefile for lua distribution - -all: - rm -f manual.id - touch manual.id - latex manual.tex - latex manual.tex - makeindex manual - sort -df manual.idx | sed -e 's/_/\\_/g' >manual.id - latex manual.tex - dvips -o manual.ps manual.dvi - gzip manual.ps - mv manual.ps.gz refman.ps.gz - rm -f manual.* - -clean: - rm -f manual.tex - -co: - co -f -M manual.tex luac.man - -klean: clean - rm -f manual.tex manual.ps manual.dvi |