dist_man8_MANS = webid-oidc.man webid-oidc-example-app.man

EXTRA_DIST = ./reset-env

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)/$@

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)/$@