Changeset bb06cf in git for doc/Makefile.am

Timestamp:

Mar 15, 2021, 7:52:32 PM (3 years ago)

Author:

Matthias Koeppe <mkoeppe@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')

Children:

c040d9d5003a06f0653fd2400682474bcba2e62b

Parents:

e1b5c252734c3c36aa53258bb37436536860e303

Message:

If 'configure --enable-doc-build' is used, add doc archive to distribution

File:

• doc/Makefile.am (modified) (1 diff)

doc/Makefile.am

@@ -181 +181 @@
 singular.hlp:
         $(MAKE) -f Makefile-docbuild $@
+
+if ENABLE_DOC_BUILD
+EXTRA_DIST += doc.tbz2
+doc.tbz2:
+        $(MAKE) -f Makefile-docbuild singular.hlp html
+        chmod -R a+rX singular.hlp html
+        $(AMTAR) jcf $@ singular.hlp html
+dist-hook:
+        @if [ -n "$(DOC2TEX_EXAMPLE_EXCLUSIONS)" ]; then                                        \
+          echo >&2 "#######################################################################";   \
+          echo >&2 "WARNING: This distribution will ship a version of the documentation";       \
+          echo >&2 "that excludes some modules because of missing optional libraries:";         \
+          echo >&2 "DOC2TEX_EXAMPLE_EXCLUSIONS = $(DOC2TEX_EXAMPLE_EXCLUSIONS)";                \
+          echo >&2 "#######################################################################";   \
+        fi
+else
+dist-hook:
+        @echo >&2 "#######################################################################"
+        @echo >&2 "WARNING: This distribution will not contain the Singular documentation."
+        @echo >&2 "Use 'configure --enable-doc-build' to build and ship the documentation."
+        @echo >&2 "#######################################################################"
+endif