diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 29be0741..7668b4da 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -33,8 +33,9 @@ help: @echo " linkcheck to check all external links for integrity" @echo " doctest to run all doctests embedded in the documentation (if enabled)" -generate_commands: - python source/generate_commands.py > source/usage/commands.rst +generate_meta: + python source/generate_commands.py + python source/generate_configs.py clean: -rm -rf $(BUILDDIR)/* |