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