diff options
Diffstat (limited to 'doc/texi/building/appendix.repo.texi')
| -rw-r--r-- | doc/texi/building/appendix.repo.texi | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/doc/texi/building/appendix.repo.texi b/doc/texi/building/appendix.repo.texi index 8d4ee0cc2..ea7bf2d8a 100644 --- a/doc/texi/building/appendix.repo.texi +++ b/doc/texi/building/appendix.repo.texi @@ -1,10 +1,10 @@ @appendix Project Repository Details @example -url: @value{HB.repo.url} -root: @value{HB.repo.root} -branch: @value{HB.repo.branch} -uuid: @value{HB.repo.uuid} -rev: @value{HB.repo.rev} -date: @value{HB.repo.date} -type: @value{HB.repo.type} +url: @value{HB-repo-url} +root: @value{HB-repo-root} +branch: @value{HB-repo-branch} +uuid: @value{HB-repo-uuid} +rev: @value{HB-repo-rev} +date: @value{HB-repo-date} +type: @value{HB-repo-type} @end example |