Skip to content

Commit 05d27e7

Browse files
Include new VS Code UG file in Sphinx doc
For eng/ide/ada_language_server#1705
1 parent 5b3df82 commit 05d27e7

File tree

2 files changed

+11
-9
lines changed

2 files changed

+11
-9
lines changed

doc/conf.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@
66
# -- Project information -----------------------------------------------------
77
# https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information
88

9-
project = "Ada & SPARK extension for VS Code"
9+
project = "Ada & SPARK VS Code Extension User's Guide"
1010
project_copyright = "2024-2025, AdaCore"
1111
author = "AdaCore"
1212

doc/index.rst

Lines changed: 10 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,20 @@
1-
.. Ada & SPARK extension for VS Code documentation master file, created by
1+
.. Ada & SPARK VS Code Extension User's Guide master file, created by
22
sphinx-quickstart on Thu Dec 26 19:26:17 2024.
33
You can adapt this file completely to your liking, but it should at least
44
contain the root `toctree` directive.
55
6-
Ada & SPARK extension for VS Code documentation
7-
===============================================
6+
Ada & SPARK VS Code Extension User's Guide
7+
==========================================
88

99
.. toctree::
1010
:maxdepth: 2
1111
:caption: Contents:
1212

13+
14+
User's Guide <vscode-ug.md>
1315
Tutorial: Using Ada in VS Code <Getting-Started.md>
14-
refactoring_tools
15-
settings
16-
traces
17-
tips_and_tricks
18-
Protocol extensions <extensions.md>
16+
Refactoring Tools <refactoring_tools.md>
17+
Tips and Tricks <tips_and_tricks.rst>
18+
Ada Language Server Settings <settings.md>
19+
ALS Traces <traces.md>
20+
Language Server Protocol Extensions <extensions.md>

0 commit comments

Comments
 (0)