dist_man8_MANS = webid-oidc-issuer.man webid-oidc-reverse-proxy.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-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)/$@

webid-oidc-client-service.man: ../src/scm/webid-oidc/client.scm ../configure.ac
	$(AM_V_GEN) ../pre-inst-env ./reset-env $(HELP2MAN) $(srcdir)/../src/webid-oidc-client-service > $@-t
	mv $@-t $(srcdir)/$@

webid-oidc-example-app.man: ../src/scm/webid-oidc/example-app.scm ../configure.ac
	$(AM_V_GEN) ../pre-inst-env ./reset-env $(HELP2MAN) $(srcdir)/../src/webid-oidc-example-app > $@-t
	mv $@-t $(srcdir)/$@