Merge remote-tracking branch 'upstream/master' into docker-ci

Make.sh

@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 # ---
 # Non-Haskell RGL build script for Unix-based machines
@@ -53,7 +53,7 @@ fi
 # A few more definitions before we get started
 src="src"
 dist="dist"
-gfc="${gf} --batch --quiet"
+gfc="${gf} --batch --quiet --gf-lib-path=${dist}"
 
 # Make directories if not present
 mkdir -p "${dist}/prelude"

README.md

@@ -79,11 +79,12 @@ clean
 
 - `CMDS` is one or more of:
 `prelude`,
-`all` (default),
+`all`,
 `lang`,
 `api`,
 `compat`,
 or an explicit module name (e.g. `ExtraEng.gf`. You don't need to specify to language subdirectory, but there is a restriction that the module must exist in a **direct** subdirectory of `src`).
+If ommitted, the default command is `prelude all`.
 - `MODE` is one of:
 `present`,
 `alltenses`