diff options
Diffstat (limited to 'community/plan9port/no-html-man-pages.patch')
| -rw-r--r-- | community/plan9port/no-html-man-pages.patch | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/community/plan9port/no-html-man-pages.patch b/community/plan9port/no-html-man-pages.patch index c169728f162..885e9b36eb9 100644 --- a/community/plan9port/no-html-man-pages.patch +++ b/community/plan9port/no-html-man-pages.patch @@ -20,10 +20,12 @@ Also, this doesn't cause a build failure since the HTML pages are generated by piping `troff -manhtml` into `troff2html` and this code is executed without pipefail. +See: https://github.com/9fans/plan9port/issues/549 + diff -upr a/INSTALL b/INSTALL ---- a/INSTALL 2021-10-19 18:08:45.000000000 +0200 -+++ b/INSTALL 2022-04-16 12:56:44.710784569 +0200 -@@ -175,12 +175,6 @@ if $doinstall; then +--- a/INSTALL 2022-07-27 16:25:51.000000000 +0200 ++++ b/INSTALL 2022-07-28 19:43:44.336657081 +0200 +@@ -186,12 +186,6 @@ if $doinstall; then echo "* Renaming hard-coded /usr/local/plan9 paths..." cd $PLAN9 sh lib/moveplan9.sh |