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 b05b98d697a444217aaf0ac19cad963445955fa5..e23ceede40af969a78caa223de23914fdfe89b70 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-1,10
+1,19
@@
+all: html dvi ps pdf
html:
html:
- latex2html main.tex
+ latex2html
-local_icons
main.tex
dvi:
latex main.tex
dvi:
latex main.tex
-ps: dvi
+
+pdf:
+ pdflatex main.tex
+
+ps:
dvips -o gapil.ps main.dvi
dvips -o gapil.ps main.dvi
+
+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