Hi Branden, On Sat, Dec 08 2018 at 02:04:33 PM, "G. Branden Robinson" <g.branden.robin...@gmail.com> wrote: > At 2018-12-08T18:58:01+0100, Bertrand Garrigues wrote: >> > * How do i know what to insert for <docdir>? >> [...] >> >> In the main groff(1) man page there is the 'POSITIONS FROM INSTALLATION' >> section that documents all the installation directories used by the >> groff package. This man page is generated and therefore lists the >> directories that were effectively used by the groff build system on the >> current machine. There is a little thing that I'll fix later (this >> section still mention an old Makefile.comm file that no longer exists). > > You don't need to--I've already got a fix pending for that.
Good! > And several other man pages commits I've queued up since the freeze. > > Let me know when it's okay to push them. I hope we can solve the last build issues we have; after 1.22.4 is finished you can push all your changes as before. > I'm attaching the fix to the "POSITIONS FROM INSTALLATION" section > (which I would like to rename--it's pretty awkward English), and below > please find a 'git log origin..HEAD' of my other pending changes. I think you've attached another patch, the 'POSITIONS FROM INSTALLATION' section is unchanged. Regards, Bertrand
