Substitute `certificate' to `public-key' in `(gnutls extra)'.
commit84e686c072ddea16bb1027966bcb6afd2ea036f3
authorLudovic Courtès <ludo@gnu.org>
Tue, 11 Dec 2007 16:58:16 +0000 (11 17:58 +0100)
committerLudovic Courtès <ludo@gnu.org>
Wed, 12 Dec 2007 11:40:45 +0000 (12 12:40 +0100)
treece5026ac24ec44e83449b928103b7df4cdf71b82
parentf338f019a27dbe113b9c5f408a7a22a6e23b516d
Substitute `certificate' to `public-key' in `(gnutls extra)'.

* guile/modules/gnutls/build/enums.scm (%openpgp-key-format-enum):
  Rename to...
  (%openpgp-certificate-format-enum): This.
  (%gnutls-extra-enums): Update.

* guile/modules/gnutls/build/smobs.scm (%openpgp-public-key-smob):
  Rename to...
  (%openpgp-certificate-smob): This.
  (%gnutls-extra-smobs): Update.

* guile/modules/gnutls/extra.scm: Substitute all `certificate' in all
  `public-key' names.  Add backward-compatible bindings.

* guile/src/extra.c: Substitute `certificate' to `public-key'.
guile/modules/gnutls/build/enums.scm
guile/modules/gnutls/build/smobs.scm
guile/modules/gnutls/extra.scm
guile/src/extra.c