document 'make workspace'

[rust-101.git] / README.rst

diff --git a/README.rst b/README.rst
index 8254d96f957638145c39d57ace25ebfa0205d519..3d4188fa0af5fcb167eda04962de7d764c085bca 100644 (file)
--- a/README.rst
+++ b/README.rst
@@ -12,6 +12,8 @@ You can either read through the sources in ``src/``, or generate the HTML in
 ``docs/`` using ``make docs`` (this step needs Pycco_), or go directly to 
 `the rendered output`_.
 
+The files ``workspace/src/part*.rs`` are generated by ``make workspace``.
+
 .. _Pycco: https://fitzgen.github.io/pycco/
 .. _the rendered output: https://www.ralfj.de/projects/rust-101/main.html