Commit Graph

3 Commits

Author SHA1 Message Date
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