[robocop] branch master updated: add man page

[Admin]

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

grothoff pushed a commit to branch master
in repository robocop.

The following commit(s) were added to refs/heads/master by this push:
     new 4008864  add man page
4008864 is described below

commit 4008864ee70978bd1539aff3b45c0bfb938b9441
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Tue Jun 10 10:20:27 2025 +0200

    add man page
---
 .gitignore   | 1 +
 .gitmodules  | 4 ++++
 Makefile.in  | 2 +-
 debian/rules | 1 +
 doc/prebuilt | 1 +
 5 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 3106ad9..3506659 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,3 +8,4 @@ debian/robocop.substvars
 debian/tmp/
 release/
 target/
+Makefile
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..b7fe272
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,4 @@
+[submodule "doc/prebuilt"]
+       path = doc/prebuilt
+       url = git@git.taler.net:taler-docs
+       branch = prebuilt
diff --git a/Makefile.in b/Makefile.in
index 472847a..27b6759 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -3,7 +3,7 @@ install:
        cargo install --path . --root $(PREFIX)
        cp robocop-ch-to-json $(PREFIX)/bin
        cp robocop-json-postprocess $(PREFIX)/bin
-        rm -rf debian/tmp/usr/.crates*
+       install -Dm644 doc/prebuilt/man/robocop.1 
$(PREFIX)/share/man/man1/robocop.1
 
 test:
        RUST_BACKTRACE=full cargo run --profile dev --bin instrumentation -- 
offline
diff --git a/debian/rules b/debian/rules
index 86c9b42..04ce5f9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -17,3 +17,4 @@ override_dh_auto_install:
        cp robocop-ch-to-json debian/tmp/usr/bin
        cp robocop-json-postprocess debian/tmp/usr/bin
        rm -rf debian/tmp/usr/.crates*
+       install -Dm644 doc/prebuilt/man/robocop.1 
$(PREFIX)/share/man/man1/robocop.1
diff --git a/doc/prebuilt b/doc/prebuilt
new file mode 160000
index 0000000..ea1ee90
--- /dev/null
+++ b/doc/prebuilt
@@ -0,0 +1 @@
+Subproject commit ea1ee90048bc206d5466e1877bb7681f502d0982

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