10_spelling_dict.patch
20-add-keywords-desktop-file.patch
30-fix-spelling-errors.patch
use-system-synctex.patch
