annotate docker/backend-dev/libervia.conf @ 4091:4eb7a5ecbd9d

build: explicitely set `packages` so `doc` is not accidentaly included
author Goffi <goffi@goffi.org>
date Thu, 08 Jun 2023 21:30:57 +0200
parents e5166f60743c
children 22cd3094cd1e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3381
127dde80a0a5 docker: dockers images, first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 [DEFAULT]
3646
0422c735db56 docker: fixes following global renaming
Goffi <goffi@goffi.org>
parents: 3497
diff changeset
2 media_dir = /src/libervia-media