edit prefix of content on server
[planet-server] / docs /
drwxr-xr-x   ..
-rw-r--r-- 14543 server-docs.tex