aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/gnu-doc.scm
Commit message (Collapse)AuthorAge
* gnu: Update gnu-standards to 2018-02-18.Chris Marusich2018-02-18
| | | | | | * gnu/packages/gnu-doc.scm (gnu-standards) <version>: Update to 2018-02-18. (gnu-standards) <origin>: While we're here, use "gnu-standards-src" as the file-name, rather than the default, which is "cvs-checkout".
* gnu: Use HTTPS for almost all gnu.org HOME-PAGEs.Tobias Geerinckx-Rice2017-03-30
| | | | All HTTP gnu.org (and supported subdomain) HOME-PAGEs changed to HTTPS.
* gnu: move miscfiles into gnu-doc.scmJan Nieuwenhuizen2016-04-01
| | | | | | | | * 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>
* gnu: Add gnu-standards.Jan Nieuwenhuizen2016-04-01
* gnu/packages/gnu-doc.scm: New file. * gnu-system.am: Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>