diff --git a/fastbril/Makefile b/fastbril/Makefile
index 13957cc05..f1323c7a1 100644
--- a/fastbril/Makefile
+++ b/fastbril/Makefile
@@ -4,6 +4,7 @@ BUILD_DIR ?= ./build
 SRC_DIRS ?= ./src
 CONGIG_DiR ?= ./config
 DOC_DIR ?= ./doc
+SHELL = /bin/sh
 
 CONFIGS := $(shell find ./config/ -name "*.cf")
 GEN_HEAD := $(shell for FILE in $(CONFIGS); do echo $$FILE | awk -F'[/.]' '{printf "src/%s.h\n", $$4}'; done)
diff --git a/fastbril/doc/.gitignore b/fastbril/doc/.gitignore
index e0623f935..5f25996cb 100644
--- a/fastbril/doc/.gitignore
+++ b/fastbril/doc/.gitignore
@@ -1,3 +1,8 @@
 *.aux
 *.out
-*.log
\ No newline at end of file
+*.log
+base.tex
+float.tex
+mem.tex
+ssa.tex
+types.tex
diff --git a/fastbril/doc/brb.pdf b/fastbril/doc/brb.pdf
new file mode 100644
index 000000000..14854c832
Binary files /dev/null and b/fastbril/doc/brb.pdf differ