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