JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ProofGeneral: remove dead code (compatibility with emacs 23).

Browse Source
This commit is contained in:
Marco Maggesi 2013-03-24 23:43:18 +01:00
parent cd3caeaf8f
commit 7b35dcdc62
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/applications/editors/emacs-modes/proofgeneral/default.nix
View File

@ -22,9 +22,6 @@ stdenv.mkDerivation (rec {
# @image{ProofGeneral} fails, so remove it.
sed -i '94d' doc/PG-adapting.texi
sed -i '101d' doc/ProofGeneral.texi
# Emacs 24 compatibility.
#sed -i 's|interactive-p|called-interactively-p '\'''any|' isar/isabelle-system.el generic/proof-{menu,script,splash}.el lib/scomint.el
'';
preBuild = ''