aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorKrystalDelusion <93062060+KrystalDelusion@users.noreply.github.com>2022-11-25 03:56:44 +1300
committerGitHub <noreply@github.com>2022-11-24 15:56:44 +0100
commitb9b5899cceb392c0069345c5b43c37bfe8346116 (patch)
tree557cb31d96b2224891c7ed37a9b25d3d8caa7d2e /Makefile
parentfc2f622a27dbc604a4acce68bea8c20b208c1742 (diff)
downloadyosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.gz
yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.tar.bz2
yosys-b9b5899cceb392c0069345c5b43c37bfe8346116.zip
Remove docs dependency on yosys repo (#3558)
* Copies guidelines files into docs/ for website * Copying manual/CHAPTER_Prog for new docs * Copying manual/APPNOTE_011... for new docs Also adding faketime to list of packages for website build. Co-authored-by: KrystalDelusion <krystinedawn@yosyshq.com>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile9
1 files changed, 7 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index e1c24c09a..25b1e378e 100644
--- a/Makefile
+++ b/Makefile
@@ -963,12 +963,17 @@ docs/source/cmd/abc.rst: $(TARGETS) $(EXTRA_TARGETS)
mkdir -p docs/source/cmd
./$(PROGRAM_PREFIX)yosys -p 'help -write-rst-command-reference-manual'
-PHONY: docs/gen_images
+PHONY: docs/gen_images docs/guidelines
docs/gen_images:
$(Q) $(MAKE) -C docs/images all
+DOCS_GUIDELINE_FILES := GettingStarted CodingStyle
+docs/guidelines:
+ $(Q) mkdir -p docs/source/temp
+ $(Q) cp -f $(addprefix guidelines/,$(DOCS_GUIDELINE_FILES)) docs/source/temp
+
DOC_TARGET ?= html
-docs: docs/source/cmd/abc.rst docs/gen_images
+docs: docs/source/cmd/abc.rst docs/gen_images docs/guidelines
$(Q) $(MAKE) -C docs $(DOC_TARGET)
update-manual: $(TARGETS) $(EXTRA_TARGETS)