Christian Weisgerber 5d55ec5b18 */*: Remove GNU_CONFIGURE_MANPREFIX
After 9fd7ee1cdf6c remove GNU_CONFIGURE_MANPREFIX from my ports.
2024-04-17 22:30:27 +02:00
..
2024-04-17 22:30:27 +02:00