diff options
| author | Johannes Nixdorf <johannes@nixdorf.dev> | 2024-10-19 13:34:54 +0200 |
|---|---|---|
| committer | Johannes Nixdorf <johannes@nixdorf.dev> | 2024-10-19 13:37:50 +0200 |
| commit | eb74f7fcbf32b6ddc276401bdd6e1cd742308c89 (patch) | |
| tree | a1fbf9b1b5b96e8501681f5472c38a76e510dec5 /Makefile | |
| parent | c95034e5f1bb5c8a15c1b5132521789a4128dca6 (diff) | |
Require mandir to be create before installing the man pages
Otherwise parallel installation may fail with:
cp -f doc/kak.1 $(DESTDIR)/usr/share/man/man1
cp: cannot create regular file '$(DESTDIR)/usr/share/man/man1': No such file or directory
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -201,11 +201,11 @@ install: src/kak installdirs install-debug-$(debug) install-gzip-man-$(gzip_man) cp doc/pages/*.asciidoc $(sharedir)/doc chmod 0644 $(sharedir)/doc/*.asciidoc -install-gzip-man-yes: gzip-man-yes +install-gzip-man-yes: gzip-man-yes installdirs cp -f doc/kak.1.gz $(mandir) chmod 0644 $(mandir)/kak.1.gz -install-gzip-man-no: gzip-man-no +install-gzip-man-no: gzip-man-no installdirs cp -f doc/kak.1 $(mandir) chmod 0644 $(mandir)/kak.1 |