docs: remove trailing whitespace.

* docs/specl.md: Remove trailing whitespace for 'make dist'.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
slingshot: sync with upstream.

* slingshot: Pick up latest release with fixes for build.type =
"builtin" rockspecs.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
maint: move docs/ to doc/ for LDoc compatibility.

* docs/specl.md: Move from here...
* doc/specl.md: ...to here.
* local.mk, rockspec.conf: Adjust.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
larch: spin lua inline archiving out into standalone script.

* build-aux/larch: New script. Assemble a list of lua sources
into a single executable with package.preload inline modules.
* local.mk (LARCH): Location of inline archive script.
(bin/specl): Simplify by calling $(LARCH).
(dist_lua_DATA, dist_luaspecl_DATA, dist_luaformatter_DATA)
(luaspecldir, luaformatterdir): Remove.
(dist_noinst_DATA): List all uninstalled library sources.
* lib/specl.in: Rename from this...
* lib/main.lua: ...to this.A
* local.mk (EXTRA_DIST): Remove lib/specl.in.
(dist_noinst_DATA): Add lib/main.lua.
(mkrockspecs_args): Remove.  No separate sources to install now,
they are all inlined.
* rockspec.conf (build): Declare empty module list to inform
mkrockspecs that we still want a "builtin" install, even though
there are no lua libs now.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>
Release version 9

* NEWS: Record release date.
maint: post-release administrivia.

* NEWS: Add header line for next release.
* .prev-version: Record previous version.
* ./local.mk (old_NEWS_hash): Auto-update.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>