diff options
| author | Christian Grothoff <christian@grothoff.org> | 2023-05-07 17:52:46 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2023-05-07 17:52:54 +0200 |
| commit | fddd06c15210557997e3ac468ca54677eacbf412 (patch) | |
| tree | 4f0b5562c9d34313a36c500438671bee086878e2 /doc/flows/Makefile | |
| parent | 6d363488a1cc874e9dbd3f3841439b4e4df2c826 (diff) | |
| download | exchange-fddd06c15210557997e3ac468ca54677eacbf412.tar.xz | |
proc doc
Diffstat (limited to 'doc/flows/Makefile')
| -rw-r--r-- | doc/flows/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/flows/Makefile b/doc/flows/Makefile new file mode 100644 index 000000000..e6af0897c --- /dev/null +++ b/doc/flows/Makefile @@ -0,0 +1,3 @@ +all: + pdflatex main.tex + pdflatex main.tex |