diff options
| author | Lua Team <team@lua.org> | 1997-07-01 12:00:00 +0000 |
|---|---|---|
| committer | repogen <> | 1997-07-01 12:00:00 +0000 |
| commit | 4f8c5d0f284e1f4da717aea5008915f185cd2e05 (patch) | |
| tree | 5671acf8a2cacf0c0524ce96d22959590a3aa5af /doc/Makefile | |
| parent | 47a298a24ad3a8202440051de5938618502302a0 (diff) | |
| download | lua-github-3.0.tar.gz | |
Lua 3.03.0
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 |