Merge branch 'main' of github.com:potassco-asp-course/course into main

.latexmkrc

@@ -11,9 +11,12 @@ $interaction = "nonstopmode";
 $ENV{"TEXMFHOME"} = "?";
 
 # Reset all search paths
-$ENV{"BIBINPUTS"} = "./include//:";
-$ENV{"BSTINPUTS"} = "./include//:";
-$ENV{"TEXINPUTS"} = "./include//:";
+delete $ENV{'BIBINPUTS'};
+delete $ENV{'BSTINPUTS'};
+delete $ENV{'TEXINPUTS'};
+ensure_path('BIBINPUTS', './include//');
+ensure_path('BSTINPUTS', './include//');
+ensure_path('TEXINPUTS', './include//');
 
 # Remove beamer generated files
 $clean_ext = "nav out snm";

Makefile

@@ -1,8 +1,23 @@
-all:
+all: init
 	latexmk main.tex -pdf
 
-watch:
+watch: init
 	latexmk main.tex -pdf -pvc
 
 clean:
 	latexmk main.tex -pdf -C
+
+init: .initialized
+
+SHELL=bash
+.initialized:
+	test ! -d .git || git config -f .gitmodules --get-regexp '^submodule\..*\.path$$' | \
+	  while read path_key path_val; do \
+	    url_key=$$(echo $$path_key | sed 's/\.path/.url/'); \
+	    url=$$(git config -f .gitmodules --get "$$url_key"); \
+	    git submodule add $$url $$path_val || true; \
+	    git submodule update --init --recursive $$path_val; \
+	  done
+	touch .initialized
+
+.PHONY: all watch clean init

README.md

@@ -5,7 +5,7 @@ The main repository integrating the LaTeX beamer-based slides for a MSc class on
 ## Structure
 
 - mostly implemented by LaTeX' `\part` and `\section` commands
-- separate slides with `% ` following by 70 `-`
+- separate slides with `% ` followed by 70 `-`
 
 ## Logic
 
@@ -15,6 +15,13 @@ The main repository integrating the LaTeX beamer-based slides for a MSc class on
 
 - use `itemize` environments with `\structure{}` (rather than `description` environment)
 
+## Installation
+
+1. Clone main repository `[email protected]:potassco-asp-course/course.git`
+2. Go to course `cd course`
+3. Retrieve submodules `git submodule update --init --recursive`
+4. Run `latexmk main.tex`
+
 ## Production
 
 1. uncomment

include/algorithm-keywords.tex

@@ -20,7 +20,7 @@
 \SetKwFor{lLet}{let}{in}{tel}
 \SetKwFor{Loop}{loop}{}{}
 
-\SetFuncSty{sf}
+\SetFuncSty{sffamily}
 \SetKwFunction{Select}{Select}
 \SetKwFunction{UnFoundedSet}{Unfounded\-Set}
 \SetKwFunction{Propagation}{Nogood\-Propagation}
@@ -29,7 +29,7 @@
 % \SetKwData{Grounder}{Grounder}
 % \SetKwData{Solver}{Solver}
 
-\SetCommentSty{it}
+\SetCommentSty{itshape}
 \SetKwComment{AlgoComm}{// }{}
 
 %%% Local Variables: