diff options
author | Lucas Hoffmann <l-m-h@web.de> | 2016-03-11 12:58:30 +0100 |
---|---|---|
committer | Patrick Totzke <patricktotzke@gmail.com> | 2016-03-24 21:01:43 +0000 |
commit | c085b40904e5d0a1c165d0aa3d28f59ace6bd53e (patch) | |
tree | a1470a80bd167497ca4f5ec234ef3572c9468625 | |
parent | 9692d9c3b5729ff645f6586c526463725b6e291b (diff) |
Specify dependencies for generated docs.
This should save some manual deleting and regenerating of these files.
-rw-r--r-- | docs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index fdb4b9ea..95de3969 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -42,10 +42,10 @@ help: @echo " linkcheck to check all external links for integrity" @echo " doctest to run all doctests embedded in the documentation (if enabled)" -$(COMMAND_OPTION_TABLES): +$(COMMAND_OPTION_TABLES): ../alot/commands/__init__.py python source/generate_commands.py -$(CONFIG_OPTION_TABLES): +$(CONFIG_OPTION_TABLES): ../alot/defaults/alot.rc.spec python source/generate_configs.py clean: |