chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03bc8e8) | patch
docs: Change doc-sphinx target name
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Apr 2021 14:21:17 +0000 (15:21 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 Apr 2021 14:21:17 +0000 (15:21 +0100)
commitcdf2cf3927d2467d7e11484d4cf7bac2e0e65104
treec4871e400a5d1190e963948ed902407f25e0a030tree | snapshot
parent03bc8e8bf2fca5ce18e299b64d5d35d169e1e82ccommit | diff
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>
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.