diff options
author | Andres Freund | 2023-11-21 01:46:40 +0000 |
---|---|---|
committer | Andres Freund | 2023-11-21 01:46:40 +0000 |
commit | 9e5b2a091fd0d672b7b2ff8afcfc9e9a6e9a5ac8 (patch) | |
tree | 674253075c96d5c0717335637ff9fd572a672ca8 | |
parent | ddcab2a0329511e8872b62f2c77e5fa33547c277 (diff) |
docs: meson: Change what 'docs' target builds
This undoes the change in what the 'docs' target builds 969509c3f2e. Tom was
concerned with having a target to just build the html docs, which a prior
commit now provided explicitly.
A subsequent commit will overhaul the documentation for the documentation
targets.
While at it, move all target in doc/src/sgml/Makefile up to just after the
default "html" target, and add a comment explaining "all" is *not* the default
target.
Reviewed-by: Peter Eisentraut <[email protected]>
Discussion: https://postgr.es/m/[email protected]
Discussion: https://postgr.es/m/[email protected]
-rw-r--r-- | doc/src/sgml/Makefile | 4 | ||||
-rw-r--r-- | doc/src/sgml/docguide.sgml | 2 | ||||
-rw-r--r-- | doc/src/sgml/meson.build | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 49d35dd0d6e..53100828a64 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -15,6 +15,8 @@ # Make "html" the default target, since that is what most people tend # to want to use. html: +# Note that all is *not* the default target in this directory +all: html man # We don't need the tree-wide headers or install support here. NO_GENERATED_HEADERS=yes @@ -25,8 +27,6 @@ top_builddir = ../../.. include $(top_builddir)/src/Makefile.global -all: html man - ifndef DBTOEPUB DBTOEPUB = $(missing) dbtoepub diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml index fd72b3975ad..b319621fdb8 100644 --- a/doc/src/sgml/docguide.sgml +++ b/doc/src/sgml/docguide.sgml @@ -442,7 +442,7 @@ LOGLEVEL=-Dorg.apache.commons.logging.simplelog.defaultlog=WARN <para> To build just the <acronym>HTML</acronym> version of the documentation: <screen> -<prompt>build$ </prompt><userinput>ninja docs</userinput> +<prompt>build$ </prompt><userinput>ninja html</userinput> </screen> To build all forms of the documentation: <screen> diff --git a/doc/src/sgml/meson.build b/doc/src/sgml/meson.build index e5a38e060c7..dfdb1d0daa7 100644 --- a/doc/src/sgml/meson.build +++ b/doc/src/sgml/meson.build @@ -235,9 +235,9 @@ if docs_dep.found() alias_target('man', man) alias_target('install-man', install_doc_man) - # even though we don't want to build man pages as part of 'docs', we do want - # to install them as part of install-docs + # built and installed as part of the the docs target installdocs += install_doc_man + docs += man endif |