From 0710e3d5428fdb17923d68c10a156513eb5455f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Javi=20Mart=C3=ADn?= Date: Fri, 10 May 2024 16:26:13 +0200 Subject: [PATCH] Remove redundant files in docs subfolder These files were both in the Consul Democracy repository and the documentation repository. Since now both repositories have been merged into one, we can remove the duplicate files. Note there was a small difference in the `.mdlrc` file because we changed it in commit b3a718ae6. We're keeping this change so we don't get these syntax warnings in the documentation. --- .mdlrc | 2 +- docs/.gitignore | 2 -- docs/.mdlrc | 1 - docs/README.md | 5 ----- 4 files changed, 1 insertion(+), 9 deletions(-) delete mode 100644 docs/.gitignore delete mode 100644 docs/.mdlrc delete mode 100644 docs/README.md diff --git a/.mdlrc b/.mdlrc index d72198f4a..7382d1c37 100644 --- a/.mdlrc +++ b/.mdlrc @@ -1 +1 @@ -rules "MD001", "MD002", "MD003", "MD004", "MD005", "MD006", "MD007", "MD008", "MD009", "MD010", "MD011", "MD012", "MD014", "MD015", "MD016", "MD017", "MD018", "MD019", "MD020", "MD021", "MD022", "MD023", "MD025", "MD026", "MD027", "MD028", "MD029", "MD030", "MD031", "MD032", "MD033", "MD034", "MD035", "MD036", "MD037", "MD038", "MD039", "MD040", "MD041" +rules "MD001", "MD002", "MD003", "MD004", "MD005", "MD006", "MD007", "MD008", "MD009", "MD010", "MD011", "MD012", "MD014", "MD015", "MD016", "MD017", "MD018", "MD019", "MD020", "MD021", "MD022", "MD023", "MD025", "MD026", "MD027", "MD028", "MD030", "MD031", "MD032", "MD033", "MD034", "MD035", "MD036", "MD037", "MD038", "MD039", "MD040", "MD041" diff --git a/docs/.gitignore b/docs/.gitignore deleted file mode 100644 index d8e395afe..000000000 --- a/docs/.gitignore +++ /dev/null @@ -1,2 +0,0 @@ -.DS_Store -_book/**/* diff --git a/docs/.mdlrc b/docs/.mdlrc deleted file mode 100644 index 7382d1c37..000000000 --- a/docs/.mdlrc +++ /dev/null @@ -1 +0,0 @@ -rules "MD001", "MD002", "MD003", "MD004", "MD005", "MD006", "MD007", "MD008", "MD009", "MD010", "MD011", "MD012", "MD014", "MD015", "MD016", "MD017", "MD018", "MD019", "MD020", "MD021", "MD022", "MD023", "MD025", "MD026", "MD027", "MD028", "MD030", "MD031", "MD032", "MD033", "MD034", "MD035", "MD036", "MD037", "MD038", "MD039", "MD040", "MD041" diff --git a/docs/README.md b/docs/README.md deleted file mode 100644 index 810474c5d..000000000 --- a/docs/README.md +++ /dev/null @@ -1,5 +0,0 @@ -# Consul Democracy documentation - -:warning: The technical documentation has been moved to the [Consul Democracy documentation site](https://docs.consuldemocracy.org/). This repository is now read-only, since now the changes to the documentation are handled by editing the texts on that site. - -![CONSUL DEMOCRACY logo](img/consul_logo.png)