summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorVivien Kraus <vivien@planete-kraus.eu>2021-06-27 22:28:31 +0200
committerVivien Kraus <vivien@planete-kraus.eu>2021-07-02 14:49:13 +0200
commit5231ab8d1680a66460f7d126d7092315ab0f9e23 (patch)
tree5325c07b26e92f1fc365a701cd0da99865d34b25 /man
parent394b62ceab778eb58e7eb8927068a7e1faab4add (diff)
Merge the identity provider program with webid-oidc
Diffstat (limited to 'man')
-rw-r--r--man/Makefile.am6
1 files changed, 1 insertions, 5 deletions
diff --git a/man/Makefile.am b/man/Makefile.am
index 2832a72..af39c66 100644
--- a/man/Makefile.am
+++ b/man/Makefile.am
@@ -1,11 +1,7 @@
-dist_man8_MANS = webid-oidc-issuer.man webid-oidc.man webid-oidc-client-service.man
+dist_man8_MANS = webid-oidc.man webid-oidc-client-service.man
EXTRA_DIST = ./reset-env
-webid-oidc-issuer.man: ../src/scm/webid-oidc/identity-provider.scm ../configure.ac
- $(AM_V_GEN) ../pre-inst-env ./reset-env $(HELP2MAN) $(srcdir)/../src/webid-oidc-issuer > $@-t
- mv $@-t $(srcdir)/$@
-
webid-oidc.man: ../src/scm/webid-oidc/program.scm ../configure.ac
$(AM_V_GEN) ../pre-inst-env ./reset-env $(HELP2MAN) $(srcdir)/../src/webid-oidc > $@-t
mv $@-t $(srcdir)/$@