annotate doc/Makefile @ 3767:fd3fe346a14a
docker (backend-dev): move dbus unix socket:
there seem to be a regression with Docker: the volume is not propagated anymore with
pre-existing files when a unix socket is inside.
This is the case in `backend-dev` with the D-Bus unix socket put in
`/home/libervia/.local/share/libervia/dbus_socket`, when the volume is mounted at
`/home/libervia/.local/share/libervia/`, resulting in hard to debug failures.
To work around that, the socket is not put in the volume mount point anymore, and has been
moved to `/home/libervia/.local/share/`
author |
Goffi <goffi@goffi.org> |
date |
Fri, 13 May 2022 19:21:17 +0200 |
parents |
ce16847a7b6d |
children |
|
rev |
line source |
2946
|
1 # Minimal makefile for Sphinx documentation |
|
2 # |
|
3 |
|
4 # You can set these variables from the command line. |
|
5 SPHINXOPTS = |
|
6 SPHINXBUILD = sphinx-build |
|
7 SOURCEDIR = . |
|
8 BUILDDIR = .build |
|
9 |
|
10 # Put it first so that "make" without argument is like "make help". |
|
11 help: |
|
12 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |
|
13 |
|
14 .PHONY: help Makefile |
|
15 |
|
16 # Catch-all target: route all unknown targets to Sphinx using the new |
|
17 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). |
|
18 %: Makefile |
|
19 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |