copyright: fix date with pure python

Author: doyougnu

Makefile

@@ -7,7 +7,7 @@ SPHINXOPTS    ?=
 SPHINXBUILD   ?= sphinx-build
 SOURCEDIR     = .
 BUILDDIR      = _build
-SOURCE_DATE_EPOCH = $(shell git log -1 --format=%ct)
+# SOURCE_DATE_EPOCH = $(shell git log -1 --format=%ct)
 
 # Put it first so that "make" without argument is like "make help".
 help:

conf.py

@@ -13,6 +13,8 @@
 import os
 import sys
 import time
+from datetime import datetime
+from sphinx.util.i18n import format_date
 
 ## FIXME for the time being I've cloned relevant extensions into a submodule,
 ## and then hard linked the __init__.py file until my changes can be upstreamed
@@ -23,7 +25,8 @@
 project = 'Haskell Optimization Handbook'
 html_title = 'Haskell Optimization Handbook'
 # FIXME: https://github.com/haskellFoundation/hs-opt-handbook.github.io/issues/58
-copyright = u'2022-%s, Jeffrey Young (doyougnu)' % time.strftime('%Y')
+now = datetime.now()
+copyright = u'2022-%s, Jeffrey Young (doyougnu)' % now.year
 author = 'Jeffrey Young (doyugnu)'
 
 # The full version, including alpha/beta/rc tags

hoh.nix

@@ -31,11 +31,6 @@ pkgs.stdenv.mkDerivation {
    src     = ./.;
    propagatedBuildInputs = pythonInputs ++ nonPythonInputs;
 
-   # set SOURCE_DATE_EPOCH using git, fixes #58
-   shellHook = ''
-   SOURCE_DATE_EPOCH=$(git log -1 --pretty=%ct)
-   '';
-
    buildPhase = ''
    runHook preBuild
    make ${target} SPHINXOPTS="-W"