diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2024-02-26 07:33:48 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2024-02-26 07:33:48 +0100 |
| commit | 845ea093615a294a491d8e83b44d0340c89a79cc (patch) | |
| tree | c50e0def24ca299571648b5aa1e91fbfea61d711 | |
| parent | f034e4f2287684949ec7f511ec92ef0f2d866703 (diff) | |
add make target publish; add workaround for missing jquery
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |