diff options
author | Marc Bonnici <marc.bonnici@arm.com> | 2018-04-27 10:57:49 +0100 |
---|---|---|
committer | setrofim <setrofim@gmail.com> | 2018-04-30 09:14:22 +0100 |
commit | 7cb11f66cf1745ab84cd2c59a7b4c7999a91d7fa (patch) | |
tree | fb59ff2d20aa41e726d70dd62ee26b9e8ee92745 /doc/Makefile | |
parent | 9741014b3502822590864e0853684a58322e8dff (diff) |
doc: add building of instrument method map
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 191c4997..6b44bbcb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -51,7 +51,7 @@ clean: rm -rf $(BUILDDIR)/* rm -rf source/api/* rm -rf source/plugins/* - rm -rf source/instrumentation_method_map.rst + rm -rf source/developer_reference/instrument_method_map.rst coverage: $(SPHINXBUILD) -b coverage $(ALLSPHINXOPTS) $(BUILDDIR)/coverage |