From 54403466c8a614f26c57f4d906a7e8715f1a3854 Mon Sep 17 00:00:00 2001 From: Peter Hutterer Date: Fri, 1 Jun 2018 13:16:08 +1000 Subject: [PATCH] doc: move the "Users" section to the top of the "pages" section On the off-chance that someone actually looks at this page, let's put the comment most at risk by a TLDR attention span at the top. Signed-off-by: Peter Hutterer --- doc/page-hierarchy.dox | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/doc/page-hierarchy.dox b/doc/page-hierarchy.dox index d7f31bf1..6e164f53 100644 --- a/doc/page-hierarchy.dox +++ b/doc/page-hierarchy.dox @@ -1,4 +1,12 @@ /** + +@page misc Users + +- @subpage what_is_libinput +- @subpage faq +- @subpage tools +- @subpage reporting_bugs + @page touchpads Touchpads - @subpage scrolling @@ -33,13 +41,6 @@ - @subpage seats - @subpage timestamps -@page misc Users - -- @subpage what_is_libinput -- @subpage faq -- @subpage tools -- @subpage reporting_bugs - @page developers Developers Contributions to libinput are always welcome. See the links below for