From aad86c49b55bbdaa916c10b84272bec5a2b6a678 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Thu, 5 Dec 2019 23:44:58 +0100
Subject: [tools] Remove support for python2

Closes #10491

We re-add the header in doc/tools/coqrst/notations/fontsupport.py
which was removed by accident in 1a9c769ed363ee2f2784e7252af72e6c1e2fbcc6

The fontsupport script itself has been kept for reference, however it
is not involved by any build target as of today.
---
 default.nix | 1 -
 1 file changed, 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index ee4a6046ea..cfadca54d2 100644
--- a/default.nix
+++ b/default.nix
@@ -41,7 +41,6 @@ stdenv.mkDerivation rec {
 
   buildInputs = [
     hostname
-    python2 # update-compat.py
     python3 time # coq-makefile timing tools
     dune
   ]
-- 
cgit v1.2.3