From 845ea093615a294a491d8e83b44d0340c89a79cc Mon Sep 17 00:00:00 2001 From: Jonas Smedegaard Date: Mon, 26 Feb 2024 07:33:48 +0100 Subject: add make target publish; add workaround for missing jquery --- Makefile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 8a69b7e..a972def 100644 --- a/Makefile +++ b/Makefile @@ -8,6 +8,10 @@ all: doc doc: docs $(patsubst %,docs/%,$(subst -,/,$(notdir $(wildcard source/*)))) mkdocs build + ln -sfT /usr/share/javascript/jquery/jquery.min.js site/js/jquery-3.6.0.min.js + +publish: + rsync -avH --delete-after site/ www-ruc@xayide.jones.dk:public_websites/docs.abcde.../ check: checklink site/index.html -- cgit v1.2.3