chiark / gitweb /
Ian Jackson [Fri, 16 Apr 2021 17:39:00 +0000 (18:39 +0100)]
docs: Fix docs about test dependencies
Reduce duplication and clarify.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 23:30:54 +0000 (00:30 +0100)]
docs: Fix filenames for spec files
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 17:18:03 +0000 (18:18 +0100)]
docs: user: landscape: Redo for deck description bugfix
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 17:17:31 +0000 (18:17 +0100)]
Makefile: Add missing doc on pngs in docs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 16:50:21 +0000 (17:50 +0100)]
deck: Fix description of counting play piles
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 16:48:20 +0000 (17:48 +0100)]
docs: user: Swap portrait and landscape
Portrait is the default. Portrait fits better on the page.
Penultima is prettier, which is why I just replace landscape.png
rather than portrait.png.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 16:46:19 +0000 (17:46 +0100)]
screenshots: Replace landscape.png with Mao
Manually grabbed after manual play setup.
Suggested-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 16:15:35 +0000 (17:15 +0100)]
docs: Record that we tested bullseye too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 16:00:15 +0000 (17:00 +0100)]
docs: build: Update disk space requirement
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 16:00:07 +0000 (17:00 +0100)]
Makefile: Quieten inkscape message by default
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:57:17 +0000 (16:57 +0100)]
docs: build: Fix formatting of test deps
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:55:43 +0000 (16:55 +0100)]
docs: build: Add firefox-esr to test deps
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:55:25 +0000 (16:55 +0100)]
docs: build: Split deps into build and test deps
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:51:11 +0000 (16:51 +0100)]
docs: Add xvfb to build deps
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:47:12 +0000 (16:47 +0100)]
docs: Add moreutils to build deps (needed for `ts`)
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:42:19 +0000 (16:42 +0100)]
tsc-wrap: Support tsc version 4.x which has its own webassembly-types
Empirically, on Debian bullseye, these are in "dom"
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:36:54 +0000 (16:36 +0100)]
js: Fix two errors reported by ts 4.x
templates/script.ts:898:7: error TS7034: Variable 'held' implicitly has type 'any' in some locations where its type cannot be determined.
templates/script.ts:954:32: error TS7005: Variable 'held' implicitly has an 'any' type.
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:29:56 +0000 (16:29 +0100)]
wikimedia: Put # in front of hex colour names
Newer inkscape hates them otherwise.
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:31:58 +0000 (16:31 +0100)]
media-scraper: Tolerate recolourings from/to #....
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:17:45 +0000 (16:17 +0100)]
run-inkscape-extension: Fix typo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:15:43 +0000 (16:15 +0100)]
Makefile: Try flailing for inkscape extension python fail
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 15:07:36 +0000 (16:07 +0100)]
Makefile: Remove spurious #!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 14:55:07 +0000 (15:55 +0100)]
Makefile: Go back to use of $(INKSCAPE)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 14:52:50 +0000 (15:52 +0100)]
Makefile: Tolerate inkscape flail
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 14:31:26 +0000 (15:31 +0100)]
docs: build: Add potrace to build-deps
Reported-by: Matthew Vernon <matthewv@chiark.greenend.org.uk>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 14:27:36 +0000 (15:27 +0100)]
docs: Provide published branch
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 14:26:41 +0000 (15:26 +0100)]
docs: Provide publish target
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 14:21:17 +0000 (15:21 +0100)]
docs: Change doc-sphinx target name
The old name was just too confusing and anomalous.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 13:17:08 +0000 (14:17 +0100)]
docs build: Document tsc requirement (insofar as we know)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 22:57:08 +0000 (23:57 +0100)]
docs: user: Include annotation of game name in --reset-table
Suggested-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 22:52:06 +0000 (23:52 +0100)]
docs: Change sphinx theme to classic
This seems to make navigation a bit easier.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 22:44:18 +0000 (23:44 +0100)]
docs: user: include screenshots
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 22:39:29 +0000 (23:39 +0100)]
docs: user: convert to rst
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 22:32:57 +0000 (23:32 +0100)]
screenshots: Add screenshot files, manually grabbed
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 21:50:51 +0000 (22:50 +0100)]
build: Recommend using `&& echo it worked` to work around make
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 21:47:37 +0000 (22:47 +0100)]
build: Fix a build race involving target/bundled-sources
Symptoms:
cp: cannot create regular file '/home/user/otter/target/bundled-sources/README.md': No such file or directory
Reported-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 20:42:47 +0000 (21:42 +0100)]
mailmap: Add an entry as requested by the data subject
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 16:13:00 +0000 (17:13 +0100)]
Makefile: Show different texts for tests and full tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 16:03:03 +0000 (17:03 +0100)]
Makefile: Use --target, not -T, for deploy arch
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:57:03 +0000 (16:57 +0100)]
cargo: update thirtyfour_sync to latest
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:54:18 +0000 (16:54 +0100)]
cargo: update ndarray to latest
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:51:37 +0000 (16:51 +0100)]
cargo: update enum-map to latest
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:48:14 +0000 (16:48 +0100)]
cargo: update usvg to 0.13.1
We can't use 0.14 because its command line parser is broken:
https://github.com/RazrFalcon/resvg/issues/374
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:14:14 +0000 (16:14 +0100)]
cargo update
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:19:37 +0000 (16:19 +0100)]
Makefile: Do various additional builds during full-check
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:11:57 +0000 (16:11 +0100)]
build: build-depend on, and build our own, usvg and bundle-sources
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 14:53:04 +0000 (15:53 +0100)]
cargo: Add dependencies for usvg and bundle-sources
And unnail bundle-sources
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:31:46 +0000 (16:31 +0100)]
Makefile: Add more tests to full-check
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:31:27 +0000 (16:31 +0100)]
vpid, miri: Disable the check fn too
This is then unused and produces a warning.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:22:54 +0000 (16:22 +0100)]
vpid, miri: Disable the exhaustive test under miri
It is quite slow.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 15:00:00 +0000 (16:00 +0100)]
media-scraper: Include a USVG_DEP in appropriate depenndencies
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 01:17:32 +0000 (02:17 +0100)]
rust version: Fix to use min_type_alias_impl_trait
This was split off since I last updated.
Reported-by: Aldabra Stoddart <aldabra@gmail.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 00:39:52 +0000 (01:39 +0100)]
js: cancel special selection which clicking on background, etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 00:28:17 +0000 (01:28 +0100)]
drag select: cancel selection indication properly
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 00:27:11 +0000 (01:27 +0100)]
drag select: drag, make less funky
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 00:22:20 +0000 (01:22 +0100)]
drag box: Fix box to be a box, still rather funky
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 00:13:20 +0000 (01:13 +0100)]
drag box: Fix line aesthetics
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 00:34:30 +0000 (01:34 +0100)]
drag select: half working, display is odd
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 7 Apr 2021 18:53:10 +0000 (19:53 +0100)]
drag: Provide movehist_end in template
We're going to want to put things between this and static_defs.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 23:44:43 +0000 (00:44 +0100)]
js: Break out ungrab_clicked
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 18:52:29 +0000 (19:52 +0100)]
dev: Fix a reference to zcoord
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 23:30:25 +0000 (00:30 +0100)]
doc: Document "1" to select 1 not-necessarily-topmost
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 23:28:42 +0000 (00:28 +0100)]
js: Handle first shift selection of count correctly
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 23:21:46 +0000 (00:21 +0100)]
js: Fix shift counted select to only add
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 23:15:14 +0000 (00:15 +0100)]
js: Rework drag spread
Now it is coherent
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 22:42:24 +0000 (23:42 +0100)]
js: Do grab before drag
This is more consistent and will enable better refactoring
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 22:41:22 +0000 (23:41 +0100)]
js: Properly handle shift-click deselection
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 22:24:53 +0000 (23:24 +0100)]
js: Sort out allow_for_deselect
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 20:16:27 +0000 (21:16 +0100)]
js: Handle (counted) (de)selection better
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 20:15:22 +0000 (21:15 +0100)]
js: Break out inner function is_already()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 20:06:39 +0000 (21:06 +0100)]
js: Skip already-selected pieces for deselection in counted selection
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 20:05:50 +0000 (21:05 +0100)]
js: Provide ungrab_all_except (and PieceSet)
Nothing calls the new function yet.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 19:51:59 +0000 (20:51 +0100)]
js: Break out grab_clicked
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 19:47:23 +0000 (20:47 +0100)]
js: Prep mouse_find_predicate for drag selection
We don't want to bail if we bottomed out, unless an amount was
specified.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 19:46:58 +0000 (20:46 +0100)]
js: Handle counted selection of mixed held states
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 19:23:43 +0000 (20:23 +0100)]
js: Allow special select of pinned things in in wresting mode
We are going to reuse this code for drag select. Might as well let
this work, although it is a bit exciting and I think right now you
can't be in wresting mode and also special select.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 17:43:31 +0000 (18:43 +0100)]
Fix a typo
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Tue, 13 Apr 2021 17:41:27 +0000 (18:41 +0100)]
Merge remote-tracking branch 'aldabra/typos' into typos
(DCO confirmed via email.)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Aldabra [Tue, 13 Apr 2021 08:58:38 +0000 (09:58 +0100)]
Proof-read
Ian Jackson [Mon, 12 Apr 2021 18:27:44 +0000 (19:27 +0100)]
js: Tiny reformat
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 12 Apr 2021 18:27:19 +0000 (19:27 +0100)]
js: Break out mouse_find_lowest
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 12 Apr 2021 18:25:21 +0000 (19:25 +0100)]
js: Break out mouse_predicate
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 12 Apr 2021 18:18:55 +0000 (19:18 +0100)]
js: Break out mouse_clicked_one
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 12 Apr 2021 18:09:49 +0000 (19:09 +0100)]
js: Break out mouse_find_clicked
Drag is going to want to change the way this is called.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 10 Apr 2021 17:15:14 +0000 (18:15 +0100)]
Revert "locks: Make config an Option"
There's no point to this unless it helps us get rid of the
lazy_static! But it doesn't.
This reverts commit
79bf71d23437a33eaf4ce27f2d325d21508bb45e.
Ian Jackson [Fri, 9 Apr 2021 17:57:54 +0000 (18:57 +0100)]
script: Suppress default actions of our keystrokes
In particular, this means that pressing SPC to cancel a special
selection mode will no longer scroll the main window.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Apr 2021 16:47:34 +0000 (17:47 +0100)]
Abolish InstanceLockError, turning it into just GameBeingDestroyed
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Apr 2021 16:27:10 +0000 (17:27 +0100)]
locks: Make config an Option
This makes it plausible to implement ConstDefault for it.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Apr 2021 16:25:46 +0000 (17:25 +0100)]
docs/build: Add missing build-dep libtoml-parser-perl
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Apr 2021 15:58:13 +0000 (16:58 +0100)]
locks: Switch to parking_lot for everything
This gets rid of a lot of unwrap()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Apr 2021 15:45:29 +0000 (16:45 +0100)]
poison, locks: Rename lock_even_poisoned
Actually, this just checks for liveness now.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 9 Apr 2021 15:39:44 +0000 (16:39 +0100)]
poison, locks: Ignore all poisoning
This does more harm than good. Better to blunder on.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 19:59:18 +0000 (20:59 +0100)]
docs: sphinx-doc target: Print file: url
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 19:32:59 +0000 (20:32 +0100)]
docs: much work
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 18:53:06 +0000 (19:53 +0100)]
docs: rework build instructions
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 18:32:07 +0000 (19:32 +0100)]
docs: wip work on build
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 18:27:11 +0000 (19:27 +0100)]
docs: Add sphnix-doc to full-check
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 18:26:33 +0000 (19:26 +0100)]
docs: Headings
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 18:21:01 +0000 (19:21 +0100)]
docs: Edit some metadata
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 8 Apr 2021 18:14:24 +0000 (19:14 +0100)]
docs: Build not in spearate build/ subdir
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>