[taler-challenger] branch master updated: bump

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository challenger.

The following commit(s) were added to refs/heads/master by this push:
     new d12f263  bump
d12f263 is described below

commit d12f2631c8943477613b9a7d88f75ff15823af91
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Thu Mar 7 11:38:40 2024 +0100

    bump
---
 debian/challenger-httpd.install | 2 ++
 doc/Makefile.am                 | 6 ++++++
 doc/prebuilt                    | 2 +-
 3 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/debian/challenger-httpd.install b/debian/challenger-httpd.install
index 8e25850..9f1ef03 100644
--- a/debian/challenger-httpd.install
+++ b/debian/challenger-httpd.install
@@ -10,5 +10,7 @@ usr/share/man/man1/challenger-admin.1
 usr/share/man/man1/challenger-dbconfig.1
 usr/share/man/man1/challenger-dbinit.1
 usr/share/man/man1/challenger-httpd.1
+usr/share/info/challenger.info
+usr/share/info/images/challenger.png
 
 debian/etc/* /etc/
diff --git a/doc/Makefile.am b/doc/Makefile.am
index d02429f..0830970 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -13,6 +13,12 @@ man_MANS = \
 info_TEXINFOS = \
   prebuilt/texinfo/challenger.texi
 
+install-info-local:
+       @echo " $(MKDIR_P) '$(DESTDIR)$(infodir)/challenger-figures'"; \
+       $(MKDIR_P) "$(DESTDIR)$(infodir)/challenger-figures" || exit 1; \
+       echo " $(INSTALL_DATA) challenger.png 
'$(DESTDIR)$(infodir)/challenger-figures'"; \
+       $(INSTALL_DATA) 
'$(srcdir)/prebuilt/texinfo/challenger-figures/challenger.png' 
"$(DESTDIR)$(infodir)/challenger-figures" || exit 1;
+
 EXTRA_DIST = \
   $(man_MANS) \
   $(info_TEXINFOS) \
diff --git a/doc/prebuilt b/doc/prebuilt
index 6f36f99..f4d97fd 160000
--- a/doc/prebuilt
+++ b/doc/prebuilt
@@ -1 +1 @@
-Subproject commit 6f36f99b75937425f3073f66c72078a1ed893521
+Subproject commit f4d97fdb8c80adc1ee86c7c91437275bfa8d9132

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.