diff options
Diffstat (limited to 'sandbox/cliechti/aafigure/makefile')
-rw-r--r-- | sandbox/cliechti/aafigure/makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/sandbox/cliechti/aafigure/makefile b/sandbox/cliechti/aafigure/makefile deleted file mode 100644 index 7ddb89b5e..000000000 --- a/sandbox/cliechti/aafigure/makefile +++ /dev/null @@ -1,5 +0,0 @@ -# this makefile is for my convenience beacuse my editor has a handy shortcut to
-# run make
-
-all:
- python rst2html.py --traceback README.txt >readme.html
\ No newline at end of file |