view 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
line wrap: on
line source

# Minimal makefile for Sphinx documentation
#

# You can set these variables from the command line.
SPHINXOPTS    =
SPHINXBUILD   = sphinx-build
SOURCEDIR     = .
BUILDDIR      = .build

# Put it first so that "make" without argument is like "make help".
help:
	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)

.PHONY: help Makefile

# Catch-all target: route all unknown targets to Sphinx using the new
# "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
%: Makefile
	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)