diff options
| author | Leo Famulari <leo@famulari.name> | 2017-08-04 11:37:42 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-10-14 23:08:04 -0400 |
| commit | 581b6e4fee990a4d89c58708ed2c453dc383f6f1 (patch) | |
| tree | 7ebb73b105dc3d1d99d0f0f6321828a0d6fd4a6f /doc/cuirass.texi | |
| parent | 2f898fd8ba95cebc3dc7c82106e5761526e14ca8 (diff) | |
| download | cuirass-581b6e4fee990a4d89c58708ed2c453dc383f6f1.tar cuirass-581b6e4fee990a4d89c58708ed2c453dc383f6f1.tar.gz | |
doc: Clarify the relationship of "repo_name" and "name".
* doc/cuirass.texi (Specifications): Mention "name".
Diffstat (limited to 'doc/cuirass.texi')
| -rw-r--r-- | doc/cuirass.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/cuirass.texi b/doc/cuirass.texi index 779450c..ec81245 100644 --- a/doc/cuirass.texi +++ b/doc/cuirass.texi @@ -231,7 +231,9 @@ Entries in this table must have values for the following text fields: @table @code @item repo_name This field holds the name of the repository. This field is also the -primary key of this table. +primary key of this table. Although this field is called +@code{repo_name} in the database, it's called @code{name} in the +specification itself. @item url The URL of the repository. |