From 0d592d556f9c92d984615f192ef14b533db02313 Mon Sep 17 00:00:00 2001 From: woutdenolf Date: Thu, 30 Jun 2022 01:13:05 +0200 Subject: [PATCH] fixup README --- dev_tools/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev_tools/README.md b/dev_tools/README.md index 1e24a69450..514c7cc0ed 100644 --- a/dev_tools/README.md +++ b/dev_tools/README.md @@ -44,7 +44,7 @@ sphinx-build -b html -W build/manual/source/ build/manual/build/html Create the [custom domain](https://docs.github.com/en/pages/configuring-a-custom-domain-for-your-github-pages-site) file for the HTML manual ```bash -echo manual.nexusformat.org > $(BUILD_DIR)/manual/build/html/CNAME +echo manual.nexusformat.org > build/manual/build/html/CNAME ``` Auto-formatting and syntax checking to the developer tools themselves