chiark / gitweb /
~ian / userv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a995548) | patch
make install: Ship docs to /usr/share/doc/userv, not /usr/userv (!)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 29 Dec 2021 15:30:52 +0000 (15:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 29 Dec 2021 15:48:11 +0000 (15:48 +0000)
commitcc897f7e5e4678d5cc97cc5d95d836a7c538dd7c
tree694371278026729c260bee2abe988a964726ec8atree | snapshot
parenta995548a9c43224e6c99d7469114adf8650b1e47commit | diff
make install: Ship docs to /usr/share/doc/userv, not /usr/userv (!)

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