fix copyright years in docs #5
Loading…
Reference in New Issue
No description provided.
Delete Branch "%!s(<nil>)"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Currently says "2014-1970" when built by Nix. PDF manual date is also affected, it says "Jan 01, 1970" on the first page.
As
.git/
is removed from theartiqSrc
, I had to conceive anartiq-timestamp.nix
that is generated akin toartiq-src.nix
.OK, good idea to use the commit date and not the documentation build date as was done before.
External NDSP docs also need fixing: https://nixbld.m-labs.hk/build/3510/download/1/html/list_of_ndsps.html
78764bab8e
First I tried getting the latest commit of each extra repo. But that would have meant
leaveDotGit = true;
which is said to have determinism problems. Therefore, I used the existing$SOURCE_DATE_EPOCH
. YMMV.