From a56a563e1a21b8dd02bd5fb8267cec92da525ea2 Mon Sep 17 00:00:00 2001 From: William Deegan Date: Tue, 26 May 2020 18:54:30 -0700 Subject: add comment to indicate which sections are appendix --- doc/user/main.xml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/user/main.xml b/doc/user/main.xml index 85dcf00..34555af 100644 --- a/doc/user/main.xml +++ b/doc/user/main.xml @@ -159,6 +159,8 @@ + + -- cgit v0.12