Recent

Author Topic: Small CHM improvement  (Read 1257 times)

marcov

  • Global Moderator
  • Hero Member
  • *****
  • Posts: 7864
Re: Small CHM improvement
« Reply #15 on: June 01, 2019, 09:47:03 pm »
Some more (relative minor) improvements:  here.

Some lemmas in the index were not checked for possible redirections. Fixed.

Some of the generation logs are now also packages in the beta versions, so that people can use them to find stale links in the docs etc.
« Last Edit: June 02, 2019, 02:11:54 pm by marcov »