diff options
| -rw-r--r-- | doc/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 6d7bbc5..71698a8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,5 +1,6 @@ # Makefile for Sphinx documentation # +RM = /bin/rm # You can set these variables from the command line. SPHINXOPTS = @@ -29,7 +30,7 @@ help: @echo " libbe to autogenerate files for all libbe modules" clean: - -rm -rf $(BUILDDIR) libbe + $(RM) -rf $(BUILDDIR) libbe html: libbe $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html |