Update Linux distributions in regen_man_pages.sh.

infrastation · infrastation · commit c25987ec2075 · 2025-11-23T23:33:02.000Z
In my test Ubuntu 24.04 worked, but generated a lot of diff noise.

[skip ci]
diff --git a/regen_man_pages.sh b/regen_man_pages.sh
@@ -39,8 +39,9 @@
 # This script has been tested to work on the following Linux systems:
 #
 # * Debian 11
-# * Debian 12
+# * Debian 12 <--- please use this one
 # * Ubuntu 22.04
+# * Ubuntu 24.04
 #
 # Please mind that the generated contents of the .txt files may change much
 # more than respective source man pages, sometimes even when the source man

Original file line number	Diff line number	Diff line change
`@@ -39,8 +39,9 @@`
`39`	`39`	`# This script has been tested to work on the following Linux systems:`
`40`	`40`	`#`
`41`	`41`	`# * Debian 11`
`42`		`-# * Debian 12`
	`42`	`+# * Debian 12 <--- please use this one`
`43`	`43`	`# * Ubuntu 22.04`
	`44`	`+# * Ubuntu 24.04`
`44`	`45`	`#`
`45`	`46`	`# Please mind that the generated contents of the .txt files may change much`
`46`	`47`	`# more than respective source man pages, sometimes even when the source man`