chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53c36c0) | patch
Makefile: drop "doc" from default build
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Jan 2021 01:56:12 +0000 (01:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Jan 2021 01:56:12 +0000 (01:56 +0000)
commitc8abe31798b07319a20abffc1e98ee21cec8c8ae
treea29104bc74aac0e66d2987ae62da30b86be28b24tree | snapshot
parent53c36c0ae985657d0d49b99a6feed251ceb4b80ccommit | diff
Makefile: drop "doc" from default build

It is slow and annoying

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