21 Nov
2018
21 Nov
'18
02:29
On Nov 20, 2018, at 8:44 PM, Faré <fahree@gmail.com> wrote:
Is that the only difference? (Where is the difference documented apart from "for developers"?)
From INSTALL.txt: Note that releases come in two flavors. The "developer" release, which has a "-devel" suffix in its name, contains the complete git history. It is a snapshot of the Gambit repository at a particular point in time. The "plain" release, without the "-devel" suffix in its name, does not contain the git history and is much more compact than the developer release. To create the -devel tarball I use “make dist-devel”. The normal tarball is created with “make dist”. Marc