Extend timeout in debian/make-manpages and make it non-fatal
authorStuart Prescott <stuart@debian.org>
Tue, 7 Apr 2026 05:03:45 +0000 (15:03 +1000)
committerStuart Prescott <stuart@debian.org>
Tue, 7 Apr 2026 05:03:45 +0000 (15:03 +1000)
commit719f1fdae72b3a9c0c9039eb1bf19d8c59ea8021
tree09ea4d4290565b4e4de501ec68c20e64b5fc9e07
parentaacf664aa67ab0e35926e3a17c7fd9f7cd3f9087
Extend timeout in debian/make-manpages and make it non-fatal

Closes: #1132528
debian/make-manpages