groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Merging the new gropdf


From: Deri
Subject: Merging the new gropdf
Date: Sat, 04 Nov 2023 13:21:21 +0000

Hi Branden,

I was wondering how the merging of the new gropdf branch was going (I think 
you very kindly offered to help merging with master). Recently you have 
written on the list:-

"Also, when Deri James's gropdf improvements are merged for groff 1.24, the 
file size of groff-man-pages.pdf should come _way_ down.".

If you can't help me, I am quite happy to "give it a go", but I probably won't 
do it as well! Since I announced the new gropdf I have had one bug report 
(which is fixed), so it would be helpful to get further testing from users who 
are using master.

Cheers 

Deri






reply via email to

[Prev in Thread] Current Thread [Next in Thread]