annotate doc/Makefile @ 433:920440200570

PostgreSQL: don't use `regconfig` and `GENERATED` column anymore /!\ pgsql schema needs to be updated /!\ /!\ Minimal PostgreSQL required version is back to 9.5 /!\ `regconfig` is using system table, and `pg_upgrade` can't handle that, causing trouble when moving to a new major version of PostgreSQL. To work around this, the `data_fts_cfg` column type in `items` has been changed from `regconfig` to `text`. GENERATED column can't be used with type casting to `regconfig`, so the data_fts column is now generated with a trigger. As a result, the minimal requirement of PostgreSQL 12 is not necessary anymore.
author Goffi <goffi@goffi.org>
date Thu, 14 Jan 2021 17:59:23 +0100
parents 105a0772eedd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
404
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
1 # Minimal makefile for Sphinx documentation
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
2 #
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
3
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
4 # You can set these variables from the command line.
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
5 SPHINXOPTS =
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
6 SPHINXBUILD = sphinx-build
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
7 SOURCEDIR = .
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
8 BUILDDIR = .build
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
9
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
10 # Put it first so that "make" without argument is like "make help".
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
11 help:
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
12 @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
13
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
14 .PHONY: help Makefile
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
15
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
16 # Catch-all target: route all unknown targets to Sphinx using the new
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
17 # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS).
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
18 %: Makefile
105a0772eedd doc: first draft
Goffi <goffi@goffi.org>
parents:
diff changeset
19 @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)