diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2018-08-30 12:12:21 +0200 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2018-08-30 12:12:21 +0200 |
| commit | ab9fa76d611e57289d0dd94dfe091ee8b0ac678a (patch) | |
| tree | 55def6004259c5818b20c9ca10df57907f75f9cb /build | |
| parent | 87ddf445d08c3be08cd7e327cd5d251152045173 (diff) | |
| download | installation-guide-ab9fa76d611e57289d0dd94dfe091ee8b0ac678a.zip | |
installation-guide: adapt number of DDs to a approximated value of 1000
Diffstat (limited to 'build')
| -rw-r--r-- | build/entities/common.ent | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build/entities/common.ent b/build/entities/common.ent index b1c12e9d3..9689943a6 100644 --- a/build/entities/common.ent +++ b/build/entities/common.ent @@ -158,7 +158,8 @@ to first switch tasksel to that DE using the following command, e.g: <!-- Number of current Debian developers --> <!-- Can be found for example on the english version of vote.debian.org (use last vote) --> -<!ENTITY num-of-debian-developers "1062"> +<!-- Update: let's use a roughly approximated value like "1000"; we're not forced to use the exact value here. --> +<!ENTITY num-of-debian-developers "1000"> <!-- Number of current Debian maillists (see http://lists.debian.org/completeindex.html) --> |