https://support.google.com/drive/answer/2375083?hl=ja（こちらは役立たずというのでもないけど今回無視） http://www.atmarkit.co.jp/ait/articles/1501/19/news141.html GoogleドライブのPATHを変更する。 synctexのために。 バックアップのつもりでコピ…