From c1443e510dff36a761faf42f23a2596953036430 Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Mon, 20 May 2019 21:38:24 -0300
Subject: Remove git/default.nix

---
 git/default.nix | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 git/default.nix

diff --git a/git/default.nix b/git/default.nix
deleted file mode 100644
index e406e9f..0000000
--- a/git/default.nix
+++ /dev/null
@@ -1,27 +0,0 @@
-let
-  pkgsOriginal = import <nixpkgs> {};
-  pkgsSrc = pkgsOriginal.fetchzip {
-    url = "https://github.com/NixOS/nixpkgs/archive/18.03.zip";
-    sha256 = "0hk4y2vkgm1qadpsm4b0q1vxq889jhxzjx3ragybrlwwg54mzp4f";
-  };
-  pkgs = import (pkgsSrc) {};
-
-in {
-  proseDocs = with pkgs; stdenv.mkDerivation rec {
-    name = "proseDocs";
-    src = ./.;
-    buildInputs = [ emacs ];
-    builder = builtins.toFile "builder.sh" ''
-      source $stdenv/setup
-      mkdir $out
-      cp $src/DOCUMENTATION.org $out/DOCUMENTATION.org
-      ls -lahp $out
-
-      pushd $out
-      emacs DOCUMENTATION.org --eval '(setq org-export-allow-bind-keywords t org-html-postamble t)' --batch -f org-html-export-to-html --kill
-      rm DOCUMENTATION.org
-      mv DOCUMENTATION.html index.html
-      popd
-    '';
-  };
-}
-- 
cgit v1.2.3