diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2022-02-15 10:29:09 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-02-15 10:29:09 +0100 |
| commit | 8d472e9314052403ad548f92ca6c10f9c961a087 (patch) | |
| tree | e1600e4f62328cdde3d1f42c193d8419b6a67b3d /gnu/packages/coq.scm | |
| parent | cfa6fdc54c58280e49330438aecfb5046ee9e63a (diff) | |
| download | guix-8d472e9314052403ad548f92ca6c10f9c961a087.tar.gz | |
doc: Move build commands to @example for clarity.
* doc/contributing.texi (Building from Git): Tweak so that all the
commands appear in @example boxes. Show --localstatedir=/var instead of
--localstatedir=@var{directory}.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions