diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2019-12-17 09:17:27 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2019-12-17 09:17:27 +0200 |
| commit | ca825070e49cd7239fa80762cf2e64bc8c45858c (patch) | |
| tree | 6b2ab77870298890f696e97d4a1b17cdf159f57a /gnu/machine.scm | |
| parent | e5c32a3afa4b3b24fa8e93d8453b0977e492a27e (diff) | |
gnu: pinfo: Use a source file name.
* gnu/packages/texinfo.scm (pinfo)[source]: Add 'file-name'.
Diffstat (limited to 'gnu/machine.scm')
0 files changed, 0 insertions, 0 deletions