robocop

commit 4008864ee70978bd1539aff3b45c0bfb938b9441
parent 438eed7f2f80c2bd9109be44b9b6989aefc8a6b6
Author: Christian Grothoff <christian@grothoff.org>
Date:   Tue, 10 Jun 2025 10:20:27 +0200

add man page

Diffstat:
M
.gitignore
 | 
1
+
A
.gitmodules
 | 
4
++++
M
Makefile.in
 | 
2
+-
M
debian/rules
 | 
1
+
A
doc/prebuilt
 | 
1
+

5 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/.gitignore b/.gitignore
@@ -8,3 +8,4 @@ debian/robocop.substvars
 debian/tmp/
 release/
 target/
+Makefile
diff --git a/.gitmodules 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
@@ -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
@@ -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
@@ -0,0 +1 @@
+Subproject commit ea1ee90048bc206d5466e1877bb7681f502d0982