From c8e42af05abda5a0e6bf7c485b52208a87dd038e Mon Sep 17 00:00:00 2001 From: Gerhard Lazu Date: Mon, 7 Feb 2022 21:37:41 +0000 Subject: [PATCH] Use unique IDs for all existing doc pages - what_is didn't have an id, started with 1000 (it's easier to find this file now) - operator-manual doc id was clashing with ci use-case Signed-off-by: Gerhard Lazu --- .../{1011-operator-manual.md => 1013-operator-manual.md} | 2 +- docs/introduction/{what_is.md => 1000-what_is.md} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename docs/administrator/{1011-operator-manual.md => 1013-operator-manual.md} (97%) rename docs/introduction/{what_is.md => 1000-what_is.md} (100%) diff --git a/docs/administrator/1011-operator-manual.md b/docs/administrator/1013-operator-manual.md similarity index 97% rename from docs/administrator/1011-operator-manual.md rename to docs/administrator/1013-operator-manual.md index c3d4d6bf..7e927f20 100644 --- a/docs/administrator/1011-operator-manual.md +++ b/docs/administrator/1013-operator-manual.md @@ -1,5 +1,5 @@ --- -slug: /1011/operator-manual/ +slug: /1013/operator-manual/ --- # Dagger Operator Manual diff --git a/docs/introduction/what_is.md b/docs/introduction/1000-what_is.md similarity index 100% rename from docs/introduction/what_is.md rename to docs/introduction/1000-what_is.md