Don't copy documentation on GNU/linux - #128

Don't copy documentation on GNU/linux#128

noiioiu wants to merge 1 commit into

3-manifolds:master3-manifolds/SnapPy:masterfrom

noiioiu:no-copy-docnoiioiu/SnapPy:no-copy-docCopy head branch name to clipboard