当面dropboxなしでやっていく

https://support.google.com/drive/answer/2375083?hl=ja（こちらは役立たずというのでもないけど今回無視）
http://www.atmarkit.co.jp/ait/articles/1501/19/news141.html
GoogleドライブのPATHを変更する。
synctexのために。
バックアップのつもりでコピーフォルダを作ったら、幾つかのファイルでタイムスタンプがくるったようだ。
大事なファイルは変わってないようなのでまあいいか。

もはやsynctex抜きのtexはやる気がしない。