[OS X TeX] TeXShop 5.12

[Richard Koch]

Murray,

Interesting idea. The complete TeX source for the manual is in the TeXShop source code, which is available on the TeXShop site. So you can download it, unzip it, find the source for the manual, and typeset with tex4ht. Give it a try.

Dick


> On Feb 22, 2023, at 12:05 PM, Murray Eisenberg <murrayeisenberg at gmail.com> wrote:
> 
> Bravo for the new user Manual! (This makes searching for information much easier (at least for me and for some things) than with the old Help Panel.)
> 
> I’d like to have, too, an HTML multi-page version. Would it be possible to provide that or at least distribute the .tex source of Manual.pdf so that a user could apply tex4ht to produce such?