We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 6af959b commit b1f027fCopy full SHA for b1f027f
Makefile
@@ -85,9 +85,9 @@ website/css/Agda-highlight.css: ./scripts/generate_agda_css.py ./theme/catppucci
85
website-prepare: agda-html ./SUMMARY.md ./CONTRIBUTORS.md ./MAINTAINERS.md ./website/css/Agda-highlight.css
86
@cp $(METAFILES) ./docs/
87
@mkdir -p ./docs/website
88
- @cp -r -T ./website/images ./docs/website/images
89
- @cp -r -T ./website/css ./docs/website/css
90
- @cp -r -T ./website/js ./docs/website/js
+ @cp -r ./website/images ./docs/website/
+ @cp -r ./website/css ./docs/website/
+ @cp -r ./website/js ./docs/website/
91
92
.PHONY: website
93
website: website-prepare
0 commit comments