Fixing makefile

This commit is contained in:
Krystine Sherwin 2023-10-12 04:50:27 +13:00
parent 8335044c35
commit ebcbb94a21
No known key found for this signature in database
2 changed files with 2 additions and 2 deletions

View File

@ -971,7 +971,7 @@ docs/source/cmd/abc.rst: $(TARGETS) $(EXTRA_TARGETS)
PHONY: docs/gen_images docs/guidelines PHONY: docs/gen_images docs/guidelines
docs/gen_images: docs/gen_images:
$(Q) $(MAKE) -C docs/images all $(Q) $(MAKE) -C docs/source/_images all
DOCS_GUIDELINE_FILES := GettingStarted CodingStyle DOCS_GUIDELINE_FILES := GettingStarted CodingStyle
docs/guidelines: docs/guidelines:

View File

@ -1,7 +1,7 @@
all: resources dots tex svg tidy all: resources dots tex svg tidy
RES_LIST:= PRESENTATION_Intro/ PRESENTATION_ExSyn/ PRESENTATION_ExAdv/ PRESENTATION_ExOth/ RES_LIST:= PRESENTATION_Intro/ PRESENTATION_ExSyn/ PRESENTATION_ExAdv/ PRESENTATION_ExOth/
RES_DIRS:= $(addprefix ../resources/,$(RES_LIST)) RES_DIRS:= $(addprefix ../../resources/,$(RES_LIST))
.PHONY: resources .PHONY: resources
resources: $(RES_DIRS) resources: $(RES_DIRS)
FORCE: FORCE: