Update archive target.

website/Makefile

@@ -1,6 +1,8 @@
-HOST=wisc
+DEPLOY_HOST=wisc
 DEPLOY=/u/j/u/justhsu/public/html-s/teaching/current/cs763
-# ARCHIVE=/u/j/u/justhsu/public/html-s/teaching/f20/cs763
+
+ARCHIVE_HOST=jackfruit
+ARCHIVE=/var/www/html/teaching/f20/cs763
 
 build:
 	make assets && mkdocs build
@@ -13,16 +15,18 @@ assets:
 
 install:
 	pip install mkdocs mkdocs-material pymdown-extensions
+	(cabal new-update && cabal new-install pandoc)
 
 deploy:
 	make build
 	find . -type d -exec chmod a+rx {} \;
 	find . -type f -exec chmod a+r {} \;
-	rsync -avzp --delete -e ssh ./site/ $(HOST):$(DEPLOY)
+	# ssh jackknife 'mkdir -p html/staging/cs763'
+	rsync -avzp --relative $(DEPLOY) -e ssh ./site/ $(DEPLOY_HOST)
 
 archive:
 	make build
 	find . -type d -exec chmod a+rx {} \;
 	find . -type f -exec chmod a+r {} \;
-	ssh $(HOST) mkdir -p $(ARCHIVE)
+	ssh $(ARCHIVE_HOST) mkdir -p $(ARCHIVE)
-	rsync -avzp --delete -e ssh ./site/ $(HOST):$(ARCHIVE)
+	rsync -avzp --delete -e ssh ./site/ $(ARCHIVE_HOST):$(ARCHIVE)

website/mkdocs.yml

@@ -8,7 +8,8 @@ theme:
   name: 'material'
   language: 'en'
   features:
-    - tabs
+    - navigation.tabs
+    - navigation.instant
   logo: 'assets/images/favicon.ico'
   favicon: 'assets/images/favicon.ico'
   palette: