Skip to content

Commit b00871c

Browse files
authored
Merge pull request #221 from JamesLYC88/doc_option
Refresh doc option list for every make call
2 parents 65ec1e9 + 3e1360c commit b00871c

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

docs/Makefile

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -16,12 +16,10 @@ help:
1616

1717
# Catch-all target: route all unknown targets to Sphinx using the new
1818
# "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
19-
%: Makefile cli/flags.include
19+
%: Makefile
2020
@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
21+
python3 cli/genflags.py > cli/flags.include
2122

2223
clean: Makefile
2324
@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
2425
rm cli/flags.include
25-
26-
cli/flags.include:
27-
python3 cli/genflags.py > cli/flags.include

0 commit comments

Comments
 (0)