|
@@ -1,14 +1,14 @@
|
|
SOURCE = birthday-paradox
|
|
SOURCE = birthday-paradox
|
|
DELAY = 80
|
|
DELAY = 80
|
|
DENSITY = 300
|
|
DENSITY = 300
|
|
-WIDTH = 500
|
|
|
|
|
|
+WIDTH = 512
|
|
|
|
|
|
make:
|
|
make:
|
|
pdflatex $(SOURCE).tex -output-format=pdf
|
|
pdflatex $(SOURCE).tex -output-format=pdf
|
|
make clean
|
|
make clean
|
|
|
|
|
|
clean:
|
|
clean:
|
|
- rm -rf $(TARGET) *.class *.html *.log *.aux
|
|
|
|
|
|
+ rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot
|
|
|
|
|
|
gif:
|
|
gif:
|
|
pdfcrop $(SOURCE).pdf
|
|
pdfcrop $(SOURCE).pdf
|
|
@@ -25,7 +25,11 @@ transparentGif:
|
|
make clean
|
|
make clean
|
|
|
|
|
|
svg:
|
|
svg:
|
|
|
|
+ make
|
|
#inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
|
|
#inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
|
|
pdf2svg $(SOURCE).pdf $(SOURCE).svg
|
|
pdf2svg $(SOURCE).pdf $(SOURCE).svg
|
|
# Necessary, as pdf2svg does not always create valid svgs:
|
|
# Necessary, as pdf2svg does not always create valid svgs:
|
|
inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg
|
|
inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg
|
|
|
|
+ rsvg-convert -a -w $(WIDTH) -f svg $(SOURCE).svg -o $(SOURCE)2.svg
|
|
|
|
+ inkscape $(SOURCE)2.svg --export-plain-svg=$(SOURCE).svg
|
|
|
|
+ rm $(SOURCE)2.svg
|