diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:09 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:09 +0000 |
commit | 7f9c96a5a1e619c03bf81c8b3783703b780edaf4 (patch) | |
tree | ba7cd337e9890761eb7b30f97e19a37db15de4c4 /Makefile | |
parent | Adding upstream version 20230205. (diff) | |
download | gnome-shell-extensions-extra-7f9c96a5a1e619c03bf81c8b3783703b780edaf4.tar.xz gnome-shell-extensions-extra-7f9c96a5a1e619c03bf81c8b3783703b780edaf4.zip |
Adding upstream version 20230618.upstream/20230618
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -41,7 +41,7 @@ package-build: share/man/*.rst package-install: package-build mkdir -p $(DESTDIR)/usr/share/doc/$(SOFTWARE) - cp -r CHANGELOG.txt LICENSE.txt README.txt $(DESTDIR)/usr/share/doc/$(SOFTWARE) + cp -r CHANGELOG.txt LICENSE.txt README.txt share/doc/* $(DESTDIR)/usr/share/doc/$(SOFTWARE) for SECTION in $$(seq 1 8); \ do \ |