gnome/gnome-shell-extensions-extra
1
0
Fork 0
Code Issues Activity

Merging upstream version 20230618.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-09 23:13:53 +01:00
parent caaa19c05f
commit d78a7247ae
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
67 changed files with 11203 additions and 4163 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -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 \