Skip to content

Commit

Permalink
fixup README
Browse files Browse the repository at this point in the history
  • Loading branch information
woutdenolf committed Jun 30, 2022
1 parent eec2eb6 commit 0d592d5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dev_tools/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 0d592d5

Please sign in to comment.