From e40d0e3f82c3d00d27749f4bf3bd2eaefc61eec7 Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Sat, 19 Jun 2021 16:04:26 +0530
Subject: website: Move CSS into the website directory.

That way, there is no need to copy it when building the website.

* Makefile.am (website/style.css): Delete target.
(website): Do not depend on the website/style.css target.
(clean-local): Clean up only website/index.html and
website/manual/dev/en, not the entire website directory.
* style.css: Move to website/style.css.
---
 Makefile.am       |  8 ++------
 style.css         | 17 -----------------
 website/style.css | 17 +++++++++++++++++
 3 files changed, 19 insertions(+), 23 deletions(-)
 delete mode 100644 style.css
 create mode 100644 website/style.css

diff --git a/Makefile.am b/Makefile.am
index 33b0426..2c26227 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -96,16 +96,12 @@ uninstall-local:
 
 # Build website
 
-website: website/index.html website/style.css website/manual/dev/en
+website: website/index.html website/manual/dev/en
 
 website/index.html: README.org
 	mkdir -p $(dir $@)
 	emacs -Q --script build-aux/build-home-page.el
 
-website/style.css: style.css
-	mkdir -p $(dir $@)
-	cp -v $< $@
-
 website/manual/dev/en: $(SKRIBILO_BUILD_DIR)/ccwl.html
 	$(MKDIR_P) $@
 	cp -v $< $@/index.html
@@ -113,4 +109,4 @@ website/manual/dev/en: $(SKRIBILO_BUILD_DIR)/ccwl.html
 # The clean target depends on clean-local. We use clean-local to clean
 # up the website and the skribilo build directory.
 clean-local:
-	rm -rf website $(SKRIBILO_BUILD_DIR)
+	rm -rf website/index.html website/manual/dev/en $(SKRIBILO_BUILD_DIR)
diff --git a/style.css b/style.css
deleted file mode 100644
index 708d9aa..0000000
--- a/style.css
+++ /dev/null
@@ -1,17 +0,0 @@
-body {
-    margin: 40px auto;
-    max-width: 900px;
-    line-height: 1.6;
-    font-size: 18px;
-    color: #444;
-    padding: 0 10px;
-}
-
-h1, h2, h3 {
-    line-height: 1.2;
-}
-
-/* Make the svg badges clickable. */
-object {
-    pointer-events: none;
-}
diff --git a/website/style.css b/website/style.css
new file mode 100644
index 0000000..708d9aa
--- /dev/null
+++ b/website/style.css
@@ -0,0 +1,17 @@
+body {
+    margin: 40px auto;
+    max-width: 900px;
+    line-height: 1.6;
+    font-size: 18px;
+    color: #444;
+    padding: 0 10px;
+}
+
+h1, h2, h3 {
+    line-height: 1.2;
+}
+
+/* Make the svg badges clickable. */
+object {
+    pointer-events: none;
+}
-- 
cgit v1.2.3