Tobias Geerinckx-Rice
|
6fd52309b8
|
gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.
All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
|
2017-03-30 01:30:16 +02:00 |
|
Jan Nieuwenhuizen
|
2cdeecbe4d
|
gnu: move miscfiles into gnu-doc.scm
* gnu/packages/miscfiles.scm: Remove file.
* gnu-sytem.am: Remove it.
* gnu/packages/gnu-doc.scm (miscfiles): Move here.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
2016-04-01 00:05:42 +02:00 |
|
Jan Nieuwenhuizen
|
ec0730cb67
|
gnu: Add gnu-standards.
* gnu/packages/gnu-doc.scm: New file.
* gnu-system.am: Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
2016-04-01 00:05:42 +02:00 |