diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/documentation.txt | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/web/documentation.txt b/web/documentation.txt index 65aba0660..ec33d0827 100644 --- a/web/documentation.txt +++ b/web/documentation.txt @@ -3,6 +3,16 @@ Nim's Documentation .. container:: standout + Search Options + -------------- + + .. container:: internals + + `Documentation Index <docs/theindex.html>`_ - The generated + index. **Index + (Ctrl+F) == Joy** + +.. container:: standout + Standards & Guides ------------------ @@ -58,10 +68,3 @@ Nim's Documentation - | `Internal Documentation <docs/intern.html>`_ | The internal documentation describes how the compiler is implemented. Read this if you want to hack the compiler. - - -Search Options --------------- - -`Documentation Index <docs/theindex.html>`_ - The generated -index. **Index + (Ctrl+F) == Joy** |