summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/Makefile b/docs/Makefile
index 68f7e497..e8d0c73f 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -52,6 +52,9 @@ $(CONFIG_OPTION_TABLES): ../alot/defaults/alot.rc.spec
clean:
-$(RM) -rf $(BUILDDIR)/*
+cleanall: clean
+ -$(RM) -rf $(CONFIG_OPTION_TABLES) $(COMMAND_OPTION_TABLES)
+
html: $(CONFIG_OPTION_TABLES) $(COMMAND_OPTION_TABLES)
$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
@echo