diff options
| author | Rusty Wagner <rusty@vector35.com> | 2017-02-10 16:42:12 -0500 |
|---|---|---|
| committer | Rusty Wagner <rusty@vector35.com> | 2017-02-10 16:42:12 -0500 |
| commit | 4b988c0d24c8d8c8dc67485f3aaeb7106eb4af18 (patch) | |
| tree | 2cd7242ff78a8f92cc268b2ccb7afc69734d9f6b /api-docs/Makefile | |
| parent | 8c42dabe92340b4d342f3b4e7594fb70f1890e41 (diff) | |
| parent | f8687791c32688a78b5e6667b2af9689816e41af (diff) | |
Merge branch 'dev'
Diffstat (limited to 'api-docs/Makefile')
| -rw-r--r-- | api-docs/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/api-docs/Makefile b/api-docs/Makefile index 4092950c..fe751410 100644 --- a/api-docs/Makefile +++ b/api-docs/Makefile @@ -6,6 +6,7 @@ SPHINXOPTS = SPHINXBUILD = sphinx-build PAPER = BUILDDIR = build +SOURCEDIR = source # Internal variables. PAPEROPT_a4 = -D latex_paper_size=a4 @@ -47,6 +48,8 @@ help: .PHONY: clean clean: rm -rf $(BUILDDIR)/* + rm $(SOURCEDIR)/binaryninja.*.rst + rm $(SOURCEDIR)/python.rst .PHONY: html html: |