summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
Diffstat (limited to 'README')
-rw-r--r--README2
1 files changed, 2 insertions, 0 deletions
diff --git a/README b/README
index e748d9b7d0..6d2ce90b65 100644
--- a/README
+++ b/README
@@ -17,6 +17,8 @@ how we recommend you read the docs:
next; from there you can jump to the HOWTOs (in docs/howto) for specific
problems, and check out the reference (docs/ref) for gory details.
+ * See docs/README for instructions on building an HTML version of the docs.
+
Docs are updated rigorously. If you find any problems in the docs, or think they
should be clarified in any way, please take 30 seconds to fill out a ticket
here: