gnunet-handbook

commit be118c2920f5d3f597981b5da0f60d1443ff16a6
parent 1f374da71b21d0b36eb6f95cc68958fd339c34a3
Author: Martin Schanzenbach <schanzen@gnunet.org>
Date:   Sun,  7 Aug 2022 13:47:24 +0200

install files

Diffstat:
M
Makefile.am
 | 
16
++++++++++++++--

1 file changed, 14 insertions(+), 2 deletions(-)
diff --git a/Makefile.am b/Makefile.am
@@ -1,5 +1,6 @@
 # Minimal makefile for Sphinx documentation
 #
+docdir = $(datadir)/doc/gnunet/
 
 # You can set these variables from the command line, and also
 # from the environment for the first two.
@@ -10,7 +11,7 @@ BUILDDIR      = _build
 
 .PHONY: all help Makefile
 
-all: html man
+all: html man info
 
 # TODO implement install uninstall and distdir(?)
 
@@ -40,11 +41,22 @@ EXTRA_DIST = \
   preface.rst \
   _static
 
+install-data-hook:
+	mkdir -p $(DESTDIR)$(docdir)
+	cp -pr $(BUILDDIR)/html $(DESTDIR)$(docdir)
+	install -m 0755 $(BUILDDIR)/texinfo/gnunet.info $(DESTDIR)/$(infodir)
+
 html: Makefile
 	@$(SPHINXBUILD) -M html "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
 man: Makefile
-	@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)# Catch-all target: route all unknown targets to Sphinx using the new
+	@$(SPHINXBUILD) -M man "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+info: Makefile
+	@$(SPHINXBUILD) -M info "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+pdf: Makefile
+	@$(SPHINXBUILD) -M pdf "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 #%: Makefile