diff README.md @ 1302:68dd0c9f5cac tooling/benchmarks

Add some notes
author Jonatan Werpers <jonatan@werpers.com>
date Thu, 23 Mar 2023 08:40:58 +0100
parents f19c51ddbd72
children 2b5480e2d4bf 471a948cd2b2
line wrap: on
line diff
--- a/README.md	Thu Mar 23 08:40:35 2023 +0100
+++ b/README.md	Thu Mar 23 08:40:58 2023 +0100
@@ -72,7 +72,7 @@
 ```shell
 make docs          # generates files suitable for webserver deployment, i.e with `prettyurls=true`
 make localdocs     # generates files suitable for local viewing in a web browser, i.e `prettyurls=false`
-make opendocs      # view documentation locally
+make opendocs      # build and view documentation locally
 make cleandocs     # cleans up generated files
 ```