From 53842fb291c7ea75361d6ebd8bc95055919730f0 Mon Sep 17 00:00:00 2001 From: Thomas Dehaeze Date: Fri, 13 Nov 2020 09:16:27 +0100 Subject: [PATCH] Update CSS of the main page --- index.html | 43 ++++++++++++++++++++++--------------------- index.org | 9 +++++++++ 2 files changed, 31 insertions(+), 21 deletions(-) diff --git a/index.html b/index.html index 04ed22f..df0c4f2 100644 --- a/index.html +++ b/index.html @@ -3,13 +3,14 @@ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> - + Research Pages + +#+HTML_HEAD: :END: Welcome to my research pages. @@ -19,6 +20,14 @@ Welcome to my research pages. (shell-command (concat "git submodule deinit -f " path))) #+end_src +* Change submodule url :noexport: +First delete the submodule using +#+begin_src bash + git rm --cache submodule-name +#+end_src + +Then add a new submodule with the updated url. + * Update CSS and JS :noexport: #+begin_src bash :results none cd js && cat jquery.min.js jquery.stickytableheaders.min.js bootstrap.min.js readtheorg.js > script.js