diff doc/gendoc.py @ 34622:b584ed1b225d

build: make install in "/doc" failed if the destination dir contained spaces This and the following commits try to add the necessary quoting in the build scripts to make the process more robust. The target for now is rendering "make deb" successful even when the base directory contains spaces (eg. "/opt/mercu rial"). The build process should succeed without scattering files in spurious directories (eg.: "/opt/mercu/usr/bin/hg").
author muxator <a.mux@inwind.it>
date Wed, 11 Oct 2017 01:19:48 +0200
parents ff874d34c856
children 170926caf44c
line wrap: on
line diff