diff options
| author | chai <chaifix@163.com> | 2021-10-20 13:40:34 +0800 |
|---|---|---|
| committer | chai <chaifix@163.com> | 2021-10-20 13:40:34 +0800 |
| commit | ff0f488c97fe8b554b909a0057cebc4c860eac8f (patch) | |
| tree | 4e47262b52ffce7e9cfeaaeeab46371243bcaa78 /ThirdParty/luasocket/gem/makefile | |
| parent | dde719dd575090b36aaa3ad85bb3cabf33f36c5a (diff) | |
+luasocket src
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 |