blob: 100d31425d1523fead35fffa2de8e22c4ed71233 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
dist_man8_MANS = webid-oidc-issuer.man webid-oidc-reverse-proxy.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-reverse-proxy.man: ../src/scm/webid-oidc/reverse-proxy.scm ../configure.ac
$(AM_V_GEN) ../pre-inst-env ./reset-env $(HELP2MAN) $(srcdir)/../src/webid-oidc-reverse-proxy > $@-t
mv $@-t $(srcdir)/$@
|
