diff options
| author | Lucas Hoffmann <l-m-h@web.de> | 2016-12-11 02:06:34 +0100 |
|---|---|---|
| committer | Lucas Hoffmann <l-m-h@web.de> | 2016-12-11 02:17:17 +0100 |
| commit | 7a7a6c93071a3736164a027d950907db02f01861 (patch) | |
| tree | b065cba3c66d2d97998f826bcf5be45eb447f3ab /docs/Makefile | |
| parent | 4e5b03fde36f04928d5e2af417347b75f4a52e7d (diff) | |
Add target to delete generated doc files
When checking out files from git the timestamps might not give enough
information to make which files to remake. So this new target can be used to
force a remake of all generated files on the next run.
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 3 |
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 |