chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 906e141) | patch
Makefile: Break out PUBLISH_DOC_SPHINX_BASE and _TAIL
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 5 May 2022 19:25:56 +0000 (20:25 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 5 May 2022 20:00:46 +0000 (21:00 +0100)
commit3a4e0f3796de37f21f95623a7a8dc6eff8983de2
tree6a18b7aaf930595eb7a6190c692cc5119b4431eetree | snapshot
parent906e1416633acb016c87db99c66a1a4b8ce46f66commit | diff
Makefile: Break out PUBLISH_DOC_SPHINX_BASE and _TAIL

We're going to want this so we can mkdir.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.