diff options
Diffstat (limited to 'doc/paper/gen/Makefile')
| -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: - : |