libervia-desktop: doc/Makefile annotate

annotate doc/Makefile @ 362:e1f56257cabc

core (widgets handler): use widget set in set_widget as selected_widget if selected_widget is None

author	Goffi <goffi@goffi.org>
date	Mon, 27 Jan 2020 21:17:08 +0100
parents	aafd814e34b5
children

rev	line source
307 aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	1 # Minimal makefile for Sphinx documentation
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	2 #
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	3
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	4 # You can set these variables from the command line.
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	5 SPHINXOPTS =
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	6 SPHINXBUILD = sphinx-build
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	7 SOURCEDIR = .
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	8 BUILDDIR = .build
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	9
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	10 # Put it first so that "make" without argument is like "make help".
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	11 help:
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	12 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	13
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	14 .PHONY: help Makefile
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	15
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	16 # Catch-all target: route all unknown targets to Sphinx using the new
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	17 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	18 %: Makefile
aafd814e34b5 doc: first draft Goffi <goffi@goffi.org> parents: diff changeset	19 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)