Can I push this 20MB commit to update the format of the docs?

[Scott Kostyshak]

I wanted to check before pushing the commit, because even if I revert
that will be a non-trivial weight in the commit history.

Here is the commit message:

-------------------------------------------
Update format of docs using LyX binary

Especially after the change to use semantic linefeeds (7b23c76b),
the diffs are large and it's hard to figure out what diff is the
result of the linefeed change and which diff is the result of an
edit.

By updating the docs, it will make the edits easier to understand
from the diff.

This commit used the LyX binary to write the new .lyx files since
lyx2lyx does not apply semantic linefeeds.

I used the following command:

  ./development/tools/updatedocs.py [path to 'lyx' binary]

A few documents were not updated (e.g., the command sequence used
failed because a dialog about a missing dependency was shown).
-------------------------------------------

If you want to see the diff for some reason before I push, I can put it
on Dropbox and share the link.

OK to push?

Scott
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20221209/436f2c9b/attachment.asc>