|
From: | G. Branden Robinson |
Subject: | [bug #44707] [grog] much too strict about file name extensions for man pages |
Date: | Sun, 6 Jun 2021 12:49:13 -0400 (EDT) |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0 |
Update of bug #44707 (project groff): Category: Preprocessor - others => None Assigned to: None => gbranden Summary: grog(1) (1.22.3 - Solaris 10 X86_64) reports ".../grog/subs.pl 397: Unknown file name extension ..." => [grog] much too strict about file name extensions for man pages _______________________________________________________ Follow-up Comment #1: I'm looking into this. I don't understand why grog(1) is trying to police the name space of man page suffixes by refusing to run its heuristics on ones it doesn't recognize. The more of Bernd's code I see, the fewer things I find myself capable of saying diplomatically. _______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?44707> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/
[Prev in Thread] | Current Thread | [Next in Thread] |