diff --git a/devel-docs/app/app-docs.sgml b/devel-docs/app/app-docs.sgml index 328531d933..f700df802b 100644 --- a/devel-docs/app/app-docs.sgml +++ b/devel-docs/app/app-docs.sgml @@ -1003,6 +1003,8 @@ - + + Index +