projects
/
gapil.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Rialvorata l'introduzione.
[gapil.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index 3ce18629b987c83fa981776a006251a867a8363c..e23ceede40af969a78caa223de23914fdfe89b70 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-1,13
+1,19
@@
+all: html dvi ps pdf
+
html:
latex2html -local_icons main.tex
dvi:
latex main.tex
html:
latex2html -local_icons main.tex
dvi:
latex main.tex
+pdf:
+ pdflatex main.tex
+
ps:
dvips -o gapil.ps main.dvi
ps:
dvips -o gapil.ps main.dvi
-all: html dvi ps
+install:
+ scp gapil piccardi@firenze.linux.it:public_html
clean:
rm -f *.dvi *.log *.ps *.html *.aux
\ No newline at end of file
clean:
rm -f *.dvi *.log *.ps *.html *.aux
\ No newline at end of file