mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity

Merge pull request #4563 from YosysHQ/krys/better_rtds_action

Browse source 
Better docs builds
This commit is contained in:
Miodrag Milanović 2024-09-03 09:32:24 +02:00 • committed by GitHub
commit 9fca352882
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
13 changed files with 116 additions and 84 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Makefile
View file

@ -1009,8 +1009,11 @@ docs/usage: $(addprefix docs/source/generated/,$(DOCS_USAGE_STDOUT) $(DOCS_USAGE
docs/reqs:
$(Q) $(MAKE) -C docs reqs
.PHONY: docs/prep
docs/prep: docs/source/cmd/abc.rst docs/gen_examples docs/gen_images docs/guidelines docs/usage
DOC_TARGET ?= html
docs: docs/source/cmd/abc.rst docs/gen_examples docs/gen_images docs/guidelines docs/usage docs/reqs
docs: docs/prep
$(Q) $(MAKE) -C docs $(DOC_TARGET)
clean: