diff options
| author | Jakob Kaivo <jkk@ung.org> | 2021-02-07 13:47:26 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2021-02-07 13:47:26 -0500 |
| commit | 5e74f5da46dd78a239a2af7c8a71041f2c480d80 (patch) | |
| tree | e6090227677bb78d0a28d2b614df58e96a2482e1 /doc/Makefile | |
| parent | e1a48622522776f8f80b119f6d3e5bb604b601a5 (diff) | |
begin paper with abstract and outline
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..47bc58b --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,5 @@ +.POSIX: + +privexec.pdf: privexec.tex + pdflatex privexec.tex + pdflatex privexec.tex |