From 5e17d6fc244ce0cf68361b19e2b76f39d8d5de3f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Timoth=C3=A9e=20Ravier?= <travier@redhat.com>
Date: Wed, 30 Sep 2020 18:21:00 +0200
Subject: [PATCH] docs: Move and update Treefile page

---
 docs/{manual => }/treefile.md | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)
 rename docs/{manual => }/treefile.md (99%)

diff --git a/docs/manual/treefile.md b/docs/treefile.md
similarity index 99%
rename from docs/manual/treefile.md
rename to docs/treefile.md
index f44b27b0..685f79c7 100644
--- a/docs/manual/treefile.md
+++ b/docs/treefile.md
@@ -1,5 +1,8 @@
-Treefile
---------
+---
+nav_order: 5
+---
+
+# Treefile
 
 A "treefile" is a made up term for a JSON-formatted specification used
 as input to `rpm-ostree compose tree` to bind "set of RPMs with
@@ -305,8 +308,7 @@ It supports the following parameters:
    `/usr/lib/systemd/system-presets/XX-example.preset` file as part of a package
    or in the postprocess script.
 
-Experimental options
---------
+## Experimental options
 
 All options listed here are subject to change or removal in a future
 version of `rpm-ostree`.