Merge branch 'release/0.4.6' into master
doc/man/_bugs.txt
deleted
100644 → 0
doc/man/_env.txt
deleted
100644 → 0
doc/man/_options.txt
deleted
100644 → 0
doc/man/_synctex.txt
deleted
100644 → 0