Add branch diagram

2021-01-25 17:54:24 +01:00
parent 57c60821ce
commit ed4a9e1bc3
3 changed files with 176 additions and 1 deletions
--- a/garlic/doc/Makefile
+++ b/garlic/doc/Makefile
@@ -1,4 +1,5 @@
-all: execution.pdf execution.utf8 execution.ascii pp.pdf pp.utf8 pp.ascii
+all: execution.pdf execution.utf8 execution.ascii pp.pdf pp.utf8 pp.ascii\
+	branch.pdf

 TTYOPT=-rPO=4m -rLL=72m
 PDFOPT=-dpaper=a4 -rPO=4c -rLL=13c