Re: [screen-devel] Update web page manual

2018-05-25 Thread Amadeusz Sławiński
On Fri, 25 May 2018 10:04:21 -0700 Neal Fultz wrote: > https://www.gnu.org/software/screen/manual/ - hasn't been updated since > 2009 - can we generate it from the current man page, or is it a more > involved process? Hi, yes, I think it should be possible to generate then from info pages. But

[screen-devel] Update web page manual

2018-05-25 Thread Neal Fultz
https://www.gnu.org/software/screen/manual/ - hasn't been updated since 2009 - can we generate it from the current man page, or is it a more involved process?