Files
gnatstudio/docs/help_index.html
Adrien Boulanger 4bc9ea2b90 S910-005: Update HTML documenation files and conf.py
Replace GPS by GNAT Studio

Change-Id: Ie552330dca8a44dc88dd8fb5b1c0b39d5d0e8040
2019-09-17 10:50:24 +02:00

17 lines
364 B
HTML

<!-- This is a template for GNAT Studio's documentation index
The line containing @@CONTENTS@@ is replaced by the actual contents
-->
<html>
<head>
<title>Documentation contents</title>
</head>
<body>
<H1>Documentation contents</H1>
This page gives the list of all the documentation topics currently
registered in GNAT Studio.
@@CONTENTS@@
</body>
</html>