fix pypi packaging; closes #1003

scripts/make-pypi-release.sh

@@ -10,6 +10,7 @@ gtar=$(command -v gtar || command -v gnutar) || true
 	sed()  { gsed  "$@"; }
 	find() { gfind "$@"; }
 	sort() { gsort "$@"; }
+	nproc() { gnproc; }
 	command -v grealpath >/dev/null &&
 		realpath() { grealpath "$@"; }
 }

scripts/make-sfx.sh

@@ -584,7 +584,7 @@ gzres() {
 		$pk "$f" &
 	done < <(
 		find -printf '%s %p\n' |
-		grep -E '\.(js|css)$|/web/a/[^_].*\.(py|txt)$' |
+		grep -E '\.(js|css)$|/web/a/.*\.txt$' |
 		grep -vF /deps/ |
 		sort -nr
 	)