mirror of
https://git.lyx.org/repos/lyx.git
synced 2025-01-15 12:41:32 +00:00
385aed9721
These were fixed manually. I tried to add an option to updatedocs.py to open and save a file with LyX, but that did not work, since lyx -x 'command-sequence buffer-write ; lyx-quit' does not write and does not quit.