diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:38 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2023-06-18 13:38:38 +0000 |
| commit | a2afeba6545be9307f6505fd7a29375e89a9075e (patch) | |
| tree | c598c70f26a350073352322c6d2d4da6952945fa /Makefile | |
| parent | Releasing debian version 20230205-2. (diff) | |
| download | gnome-shell-extensions-extra-a2afeba6545be9307f6505fd7a29375e89a9075e.tar.xz gnome-shell-extensions-extra-a2afeba6545be9307f6505fd7a29375e89a9075e.zip | |
Merging upstream version 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 \ |