From 570306e1b6c55419d813ed8d27e49847b382a512 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Fri, 22 May 2015 15:18:22 +1000 Subject: [PATCH] .gitignore: move Haskell ignores to their own file --- .gitignore | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/.gitignore b/.gitignore index e49be938b..481f844bc 100644 --- a/.gitignore +++ b/.gitignore @@ -25,19 +25,6 @@ manual/env.tex manual/manual.pdf -haskell/doc/refman.pdf -haskell/doc/version.txt - -haskell/doc/figures/clientkernel.pdf -haskell/doc/figures/clientserver.pdf -haskell/doc/figures/derive.pdf -haskell/doc/figures/ipctransfer.pdf -haskell/doc/figures/truncation.pdf - -# haskell generated files -**.lhs-boot -haskell/dist - # Generated headers libsel4/arch_include/arm/sel4/arch/invocation.h libsel4/arch_include/ia32/sel4/arch/invocation.h