diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2021-01-01 12:50:18 +0100 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2021-01-01 12:50:18 +0100 |
commit | 208d92f0f5992d8d79cafcab194888a5e33087ff (patch) | |
tree | c44108463908629824aa6658e9a6a30dcb49a18f /doc/paper/gen | |
parent | e797f9de323fc189a3cc3f735da2954c45e9f96c (diff) |
Remove gen setup
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
Diffstat (limited to 'doc/paper/gen')
-rw-r--r-- | doc/paper/gen/Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/paper/gen/Makefile b/doc/paper/gen/Makefile deleted file mode 100644 index a2a40b7..0000000 --- a/doc/paper/gen/Makefile +++ /dev/null @@ -1,5 +0,0 @@ -all: - : - -clean: - : |