diff options
Diffstat (limited to 'help/Makefile')
| -rw-r--r-- | help/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/help/Makefile b/help/Makefile new file mode 100644 index 0000000..c86dd2a --- /dev/null +++ b/help/Makefile @@ -0,0 +1,7 @@ +# Minimal makefile for Sphinx documentation +# + +# Put it first so that "make" without argument is like "make help". +help: + cd eng && make html + cd fin && make html |