Re: [RFC] Splitting the man page

2021-11-15 Thread Dominik Vogt
On Mon, Nov 15, 2021 at 08:53:48PM +, Thomas Adam wrote: > On Mon, Nov 15, 2021 at 09:00:43PM +0100, Dominik Vogt wrote: > > Now, about the contents of the new man pages: Splitting has not > > bought us that much yet. 75% of the contents are now in the > > commands man page. It's difficult t

Re: [RFC] Splitting the man page

2021-11-15 Thread Thomas Adam
On Mon, Nov 15, 2021 at 09:00:43PM +0100, Dominik Vogt wrote: > Now, about the contents of the new man pages: Splitting has not > bought us that much yet. 75% of the contents are now in the > commands man page. It's difficult to remove more things from that > because the command list also contai

Re: [RFC] Splitting the man page

2021-11-15 Thread Dominik Vogt
On Mon, Nov 15, 2021 at 06:42:20PM +, Thomas Adam wrote: > On Mon, Nov 15, 2021 at 07:04:57PM +0100, Dominik Vogt wrote: > > Guessed so. I believe automake + autoconf should support that > > automatically in the generated rules, but it needs to be tested. > > Anybody here who knows how that wo

Re: [RFC] Splitting the man page

2021-11-15 Thread Thomas Adam
On Mon, Nov 15, 2021 at 07:04:57PM +0100, Dominik Vogt wrote: > Guessed so. I believe automake + autoconf should support that > automatically in the generated rules, but it needs to be tested. > Anybody here who knows how that works? You don't get it for free, which is why you need the custom ins

Re: [RFC] Splitting the man page

2021-11-15 Thread Thomas Adam
On Mon, Nov 15, 2021 at 05:13:47PM +0100, Dominik Vogt wrote: > 2) The Makefile.am now uses the standard "man1_MANS" file type to > describe the generated files. That should make local installation > rules unnecessary. Not sure whether it also handles the > "transform" stuff or not. For now I've

[RFC] Splitting the man page

2021-11-15 Thread Dominik Vogt
As discussed; the attached patch is a draft of how this could work. 1) It was necessary to remove the subdirs below doc/. All sources and generated files are now in doc/. This also makes it much easier to generate and install files. Makefiles don't work well if files are located in different di