File tree 33 files changed +202
-18
lines changed
simple-example-tikz-circuit-library
33 files changed +202
-18
lines changed Original file line number Diff line number Diff line change @@ -7,10 +7,36 @@ author := Martin Thoma
7
7
version := 1.0
8
8
9
9
DATE =$(shell date +% Y-% m-% d)
10
+ SOURCE = Analysis_Wichtige_Formeln
11
+ DELAY = 80
12
+ DENSITY = 300
13
+ WIDTH = 512
10
14
11
15
make :
12
- pdflatex Analysis_Wichtige_Formeln .tex -output-format=pdf
16
+ pdflatex $( SOURCE ) .tex -output-format=pdf
13
17
make clean
14
18
15
19
clean :
16
- rm -rf $(TARGET ) * .class * .html * .log * .aux
20
+ rm -rf $(TARGET ) * .class * .html * .log * .aux * .data * .gnuplot
21
+
22
+ gif :
23
+ pdfcrop $(SOURCE ) .pdf
24
+ convert -verbose -delay $(DELAY ) -loop 0 -density $(DENSITY ) $(SOURCE ) -crop.pdf $(SOURCE ) .gif
25
+ make clean
26
+
27
+ png :
28
+ make
29
+ make svg
30
+ inkscape $(SOURCE ) .svg -w $(WIDTH ) --export-png=$(SOURCE ) .png
31
+
32
+ transparentGif :
33
+ convert $(SOURCE ) .pdf -transparent white result.gif
34
+ make clean
35
+
36
+ svg :
37
+ # inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
38
+ pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
39
+ # Necessary, as pdf2svg does not always create valid svgs:
40
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
41
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
42
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( Analysis_Wichtige_Formeln.png )
Original file line number Diff line number Diff line change 1
1
SOURCE = d-latch-with-nand
2
2
DELAY = 80
3
3
DENSITY = 300
4
- WIDTH = 500
4
+ WIDTH = 512
5
5
6
6
make :
7
7
pdflatex $(SOURCE ) .tex -output-format=pdf
28
28
# inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
29
29
pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
30
30
# Necessary, as pdf2svg does not always create valid svgs:
31
- inkscape $(SOURCE ) .svg --export-plain-svg=$(SOURCE ) .svg
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( d-latch-with-nand.png )
Original file line number Diff line number Diff line change 1
1
SOURCE = simple-example-tikz-circuit-library
2
2
DELAY = 80
3
3
DENSITY = 300
4
- WIDTH = 500
4
+ WIDTH = 512
5
5
6
6
make :
7
7
pdflatex $(SOURCE ) .tex -output-format=pdf
28
28
# inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
29
29
pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
30
30
# Necessary, as pdf2svg does not always create valid svgs:
31
- inkscape $(SOURCE ) .svg --export-plain-svg=$(SOURCE ) .svg
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( simple-example-tikz-circuit-library.png )
Original file line number Diff line number Diff line change 1
1
SOURCE = simple-example
2
2
DELAY = 80
3
3
DENSITY = 300
4
- WIDTH = 500
4
+ WIDTH = 512
5
5
6
6
make :
7
7
pdflatex $(SOURCE ) .tex -output-format=pdf
28
28
# inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
29
29
pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
30
30
# Necessary, as pdf2svg does not always create valid svgs:
31
- inkscape $(SOURCE ) .svg --export-plain-svg=$(SOURCE ) .svg
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( simple-example.png )
Original file line number Diff line number Diff line change 1
1
SOURCE = fractions
2
+ DELAY = 80
3
+ DENSITY = 300
4
+ WIDTH = 512
2
5
3
6
make :
4
7
pdflatex $(SOURCE ) .tex -output-format=pdf
5
8
make clean
6
9
7
10
clean :
8
- rm -rf $(TARGET ) * .class * .html * .log * .aux
11
+ rm -rf $(TARGET ) * .class * .html * .log * .aux * .data * .gnuplot
12
+
13
+ gif :
14
+ pdfcrop $(SOURCE ) .pdf
15
+ convert -verbose -delay $(DELAY ) -loop 0 -density $(DENSITY ) $(SOURCE ) -crop.pdf $(SOURCE ) .gif
16
+ make clean
17
+
18
+ png :
19
+ make
20
+ make svg
21
+ inkscape $(SOURCE ) .svg -w $(WIDTH ) --export-png=$(SOURCE ) .png
22
+
23
+ transparentGif :
24
+ convert $(SOURCE ) .pdf -transparent white result.gif
25
+ make clean
26
+
27
+ svg :
28
+ # inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
29
+ pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
30
+ # Necessary, as pdf2svg does not always create valid svgs:
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( fractions.png )
Original file line number Diff line number Diff line change 1
1
SOURCE = sizes
2
+ DELAY = 80
3
+ DENSITY = 300
4
+ WIDTH = 512
2
5
3
6
make :
4
7
pdflatex $(SOURCE ) .tex -output-format=pdf
5
8
make clean
6
9
7
10
clean :
8
- rm -rf $(TARGET ) * .class * .html * .log * .aux
11
+ rm -rf $(TARGET ) * .class * .html * .log * .aux * .data * .gnuplot
12
+
13
+ gif :
14
+ pdfcrop $(SOURCE ) .pdf
15
+ convert -verbose -delay $(DELAY ) -loop 0 -density $(DENSITY ) $(SOURCE ) -crop.pdf $(SOURCE ) .gif
16
+ make clean
17
+
18
+ png :
19
+ make
20
+ make svg
21
+ inkscape $(SOURCE ) .svg -w $(WIDTH ) --export-png=$(SOURCE ) .png
22
+
23
+ transparentGif :
24
+ convert $(SOURCE ) .pdf -transparent white result.gif
25
+ make clean
26
+
27
+ svg :
28
+ # inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
29
+ pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
30
+ # Necessary, as pdf2svg does not always create valid svgs:
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( sizes.png )
Original file line number Diff line number Diff line change 1
1
SOURCE = strange-signs
2
+ DELAY = 80
3
+ DENSITY = 300
4
+ WIDTH = 512
2
5
3
6
make :
4
7
pdflatex $(SOURCE ) .tex -output-format=pdf
5
8
make clean
6
9
7
10
clean :
8
- rm -rf $(TARGET ) * .class * .html * .log * .aux
11
+ rm -rf $(TARGET ) * .class * .html * .log * .aux * .data * .gnuplot
12
+
13
+ gif :
14
+ pdfcrop $(SOURCE ) .pdf
15
+ convert -verbose -delay $(DELAY ) -loop 0 -density $(DENSITY ) $(SOURCE ) -crop.pdf $(SOURCE ) .gif
16
+ make clean
17
+
18
+ png :
19
+ make
20
+ make svg
21
+ inkscape $(SOURCE ) .svg -w $(WIDTH ) --export-png=$(SOURCE ) .png
22
+
23
+ transparentGif :
24
+ convert $(SOURCE ) .pdf -transparent white result.gif
25
+ make clean
26
+
27
+ svg :
28
+ # inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
29
+ pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
30
+ # Necessary, as pdf2svg does not always create valid svgs:
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( strange-signs.png )
Original file line number Diff line number Diff line change 1
1
SOURCE = Minted-Haskell
2
+ DELAY = 80
3
+ DENSITY = 300
4
+ WIDTH = 512
2
5
3
6
make :
4
- pdflatex -shell-escape $(SOURCE ) .tex -output-format=pdf
5
7
pdflatex -shell-escape $(SOURCE ) .tex -output-format=pdf
6
8
make clean
7
9
8
10
clean :
9
- rm -rf $(TARGET ) * .class * .html * .log * .aux * .out * .glo * .glg * .gls * .ist * .xdy * .1 * .toc * .pyg
11
+ rm -rf $(TARGET ) * .class * .html * .log * .aux * .data * .gnuplot _minted-Minted-Haskell/
12
+
13
+ gif :
14
+ pdfcrop $(SOURCE ) .pdf
15
+ convert -verbose -delay $(DELAY ) -loop 0 -density $(DENSITY ) $(SOURCE ) -crop.pdf $(SOURCE ) .gif
16
+ make clean
17
+
18
+ png :
19
+ make
20
+ make svg
21
+ inkscape $(SOURCE ) .svg -w $(WIDTH ) --export-png=$(SOURCE ) .png
22
+
23
+ transparentGif :
24
+ convert $(SOURCE ) .pdf -transparent white result.gif
25
+ make clean
26
+
27
+ svg :
28
+ # inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
29
+ pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
30
+ # Necessary, as pdf2svg does not always create valid svgs:
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( Minted-Haskell.png )
Original file line number Diff line number Diff line change
1
+ The examples in this folder explain algorithms using pseudo-code.
Original file line number Diff line number Diff line change 30
30
# Necessary, as pdf2svg does not always create valid svgs:
31
31
inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
32
rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
- rm $(SOURCE ) 1.svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change 1
1
SOURCE = tensor-diagram
2
2
DELAY = 80
3
3
DENSITY = 300
4
- WIDTH = 500
4
+ WIDTH = 512
5
5
6
6
make :
7
7
pdflatex $(SOURCE ) .tex -output-format=pdf
8
8
make clean
9
9
10
10
clean :
11
- rm -rf $(TARGET ) * .class * .html * .log * .aux
11
+ rm -rf $(TARGET ) * .class * .html * .log * .aux * .data * .gnuplot
12
12
13
13
gif :
14
14
pdfcrop $(SOURCE ) .pdf
@@ -25,8 +25,9 @@ transparentGif:
25
25
make clean
26
26
27
27
svg :
28
- make
29
28
# inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
30
29
pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
31
30
# Necessary, as pdf2svg does not always create valid svgs:
32
- inkscape $(SOURCE ) .svg --export-plain-svg=$(SOURCE ) .svg
31
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
32
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
33
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( tensor-diagram.png )
Original file line number Diff line number Diff line change @@ -7,6 +7,10 @@ author := Martin Thoma
7
7
version := 1.0
8
8
9
9
DATE =$(shell date +% Y-% m-% d)
10
+ SOURCE = class-diagram
11
+ DELAY = 80
12
+ DENSITY = 300
13
+ WIDTH = 512
10
14
11
15
make :
12
16
mpost meta.mp
15
19
16
20
clean :
17
21
rm -rf $(TARGET ) * .class * .html * .log * .aux * .out * .1
22
+
23
+ png :
24
+ make
25
+ make svg
26
+ inkscape $(SOURCE ) .svg -w $(WIDTH ) --export-png=$(SOURCE ) .png
27
+
28
+ transparentGif :
29
+ convert $(SOURCE ) .pdf -transparent white result.gif
30
+ make clean
31
+
32
+ svg :
33
+ # inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
34
+ pdf2svg $(SOURCE ) .pdf $(SOURCE ) .svg
35
+ # Necessary, as pdf2svg does not always create valid svgs:
36
+ inkscape $(SOURCE ) .svg --export-width=$(WIDTH ) --export-plain-svg=$(SOURCE ) 1.svg
37
+ rsvg-convert -a -w 720 -f svg $(SOURCE ) 1.svg -o $(SOURCE ) .svg
38
+ rm $(SOURCE ) 1.svg
Original file line number Diff line number Diff line change
1
+ Compiled example
2
+ ----------------
3
+ ![ Example] ( class-diagram.png )
You can’t perform that action at this time.
0 commit comments