doc/book/en/development/index.rst
changeset 2536 88595be9087d
parent 2175 16d3c37c5d28
child 3740 e9ce140c9065
--- a/doc/book/en/development/index.rst	Tue Jul 28 20:26:45 2009 +0200
+++ b/doc/book/en/development/index.rst	Tue Jul 28 20:38:53 2009 +0200
@@ -18,3 +18,4 @@
    testing/index
    migration/index
    webstdlib/index
+   profiling/index