diff options
Diffstat (limited to 'ThirdParty/luasocket/gem/makefile')
| -rw-r--r-- | ThirdParty/luasocket/gem/makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/ThirdParty/luasocket/gem/makefile b/ThirdParty/luasocket/gem/makefile new file mode 100644 index 0000000..a4287c2 --- /dev/null +++ b/ThirdParty/luasocket/gem/makefile @@ -0,0 +1,14 @@ +ltn012.pdf: ltn012.ps + ./myps2pdf ltn012.ps + +ltn012.ps: ltn012.dvi + dvips -G0 -t letter -o ltn012.ps ltn012.dvi + +ltn012.dvi: ltn012.tex + latex ltn012 + +clean: + rm -f *~ *.log *.aux *.bbl *.blg ltn012.pdf ltn012.ps ltn012.dvi ltn012.lof ltn012.toc ltn012.lot + +pdf: ltn012.pdf + open ltn012.pdf |