annotate doc/Makefile @ 4210:9218d4331bb2
cli (call): `tui` output implementation:
- Moved original UI to a separated class, and use if with the `simple` output
- By default, best output is automatically selected. For now `gui` is selected if possible,
and `simple` is used as fallback.
- The new `tui` output can be used to have the videos directly embedded in the terminal,
either with real videos for compatible terminal emulators, or with Unicode blocks.
- Text contrôls are used for both `simple` and `tui` outputs
- several options can be used with `--oo` (will be documented in next commit).
rel 428
author |
Goffi <goffi@goffi.org> |
date |
Fri, 16 Feb 2024 18:46:06 +0100 |
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) |