annotate doc/Makefile @ 3000:d603550d5e99
jp (blog/preview): fixed watch restoring when file is moved/deleted:
with some editors (e.g. vim), when file is written it is actually replaced with a buffered
one. In this case, jp replace the watch to check the new file, but it was not working
anymore with latest version of inotify module. This patch fixes it by removing the old watch
before adding a new one.
author |
Goffi <goffi@goffi.org> |
date |
Fri, 12 Jul 2019 11:29:05 +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) |