diff --git a/dist/README.txt b/dist/README.txt index 7648ab3b..8a88c23d 100644 --- a/dist/README.txt +++ b/dist/README.txt @@ -32,7 +32,7 @@ you or adapt their server behavior accordingly. 3. Getting Started ------------------- -See the User Manual at +See the User Manual at 4. Developer Documentation