diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-08-01 14:51:28 +0200 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-08-01 18:08:56 +0200 |
commit | bae1843f1a1d644fb3bd4f8c40b1dbb900aa3325 (patch) | |
tree | 00f590033af904a6a493e41bdebe9b3ddd73043b /src/scm/webid-oidc/Makefile.am | |
parent | d8c2ca930673da858d63f2dea9526c259a2dd936 (diff) |
Use guile parameters
With parameters, the API does not need to care about the directory
where to load files and how to get the time.
Diffstat (limited to 'src/scm/webid-oidc/Makefile.am')
-rw-r--r-- | src/scm/webid-oidc/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/scm/webid-oidc/Makefile.am b/src/scm/webid-oidc/Makefile.am index acd9ec9..3e92bd3 100644 --- a/src/scm/webid-oidc/Makefile.am +++ b/src/scm/webid-oidc/Makefile.am @@ -46,7 +46,8 @@ dist_webidoidcmod_DATA += \ %reldir%/rdf-index.scm \ %reldir%/http-link.scm \ %reldir%/offloading.scm \ - %reldir%/catalog.scm + %reldir%/catalog.scm \ + %reldir%/parameters.scm webidoidcgo_DATA += \ %reldir%/errors.go \ @@ -80,7 +81,8 @@ webidoidcgo_DATA += \ %reldir%/rdf-index.go \ %reldir%/http-link.go \ %reldir%/offloading.go \ - %reldir%/catalog.go + %reldir%/catalog.go \ + %reldir%/parameters.go EXTRA_DIST += %reldir%/ChangeLog |