:art: Simplify

diff --git a/.gitignore b/.gitignore
index 250338ee7172ac808f8f15d2c0a3e09571a4c3a5..6e5a57c963650d608ebf5ed9b13540b4557a8c52 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,5 @@
 src
 book
-book.toml
-custom.css
 .d/
 ast/
 config.mk

diff --git a/book.toml b/book.toml
new file mode 100644 (file)
index 0000000..121cc39
--- /dev/null
+++ b/book.toml
@@ -0,0 +1,11 @@
+[book]
+authors = ["Jérémie Astor"]
+title = "Gwion"
+
+[output.html]
+default-theme = "rust"
+additional-css = ["custom.css"]
+
+[output.html.fold]
+enable = true
+level = 0

diff --git a/custom.css b/custom.css
new file mode 100644 (file)
index 0000000..d5170b1
--- /dev/null
+++ b/custom.css
@@ -0,0 +1,17 @@
+.mdr {
+  color:var(--sidebar-active);
+  background-color:var(--sidebar-bg);
+  border: 5px solid var(--sidebar-fg);
+  padding: 10px;
+  margin-right: 20%;
+  margin-left: 20%;
+  moz-border-radius: 15px;
+  -webkit-border-radius: 15px;
+}
+
+footer {
+  padding: 10px;
+  text-align: center;
+  font-size: small;
+  font-style: italic;
+}

diff --git a/scripts/ensure.sh b/scripts/ensure.sh
index 82bd905ff75896837d2c05c9ff8a243c0cd8973c..29e353c08b1ca2d5d7ec3f12397291c9cc5713f7 100644 (file)
--- a/scripts/ensure.sh
+++ b/scripts/ensure.sh
@@ -1,46 +1,4 @@
 #!/bin/sh
-toml() {
-cat <<EOF > book.toml
-[book]
-authors = ["Jérémie Astor"]
-title = "Gwion"
-
-[output.html]
-default-theme = "rust"
-additional-css = ["custom.css"]
-
-[output.html.fold]
-enable = true
-level = 0
-EOF
-}
-
-css() {
-cat <<EOF > custom.css
-.mdr {
-  color:var(--sidebar-active);
-  background-color:var(--sidebar-bg);
-  border: 5px solid var(--sidebar-fg);
-  padding: 10px;
-  margin-right: 20%;
-  margin-left: 20%;
-  moz-border-radius: 15px;
-  -webkit-border-radius: 15px;
-}
-
-footer {
-  padding: 10px;
-  text-align: center;
-  font-size: small;
-  font-style: italic;
-}
-EOF
-}
-
-[ -f book.toml ] || toml
-
-[ -f custom.css ] || css
-
 [ -d src ] || sh scripts/mdr2mdbook.sh
 
 [ -f src/SUMMARY.md ] || sh scripts/summary.sh > src/SUMMARY.md