diff options
author | louiz’ <louiz@louiz.org> | 2019-11-13 22:11:14 +0100 |
---|---|---|
committer | louiz’ <louiz@louiz.org> | 2019-11-13 22:14:18 +0100 |
commit | 0cb62d993b43dd048b93e130d96c7757cf10b6d2 (patch) | |
tree | 59e562c00c72ec6ed45760ab33797f2abde9f009 /doc/man_index.rst | |
parent | acc0458054c0add9c4f8cb296fca97ba518983d0 (diff) | |
download | biboumi-0cb62d993b43dd048b93e130d96c7757cf10b6d2.tar.gz biboumi-0cb62d993b43dd048b93e130d96c7757cf10b6d2.tar.bz2 biboumi-0cb62d993b43dd048b93e130d96c7757cf10b6d2.tar.xz biboumi-0cb62d993b43dd048b93e130d96c7757cf10b6d2.zip |
Rename the build directory in the e2e docker doc
To avoid conflicting with the “host” build/ directory. This way we don’t
need to remove/empty the build/ directory beforehand, etc.
Diffstat (limited to 'doc/man_index.rst')
0 files changed, 0 insertions, 0 deletions