Merge pull request #15519 from Rmys/master

gmult
2024-11-30 10:48:50 +03:00
parent 9460ebc0cf b34f32f60b
commit 8e1927662d
1 changed files with 1 additions and 1 deletions
@@ -23,4 +23,4 @@ def install():
    shelltools.system("DESTDIR=%s ninja install" % get.installDIR())
    
    shelltools.cd("..")
-    pisitools.dodoc("README*", "NEWS*", "LICENSE*")
+    pisitools.dodoc("README.*", "NEWS.*", "LICENSE.*")