diff --git a/gen_links.sh.inc b/gen_links.sh.inc
index aba8ca1..8a87359 100644
--- a/gen_links.sh.inc
+++ b/gen_links.sh.inc
@@ -19,3 +19,10 @@
 		gen_link "$DIR/$f" "$f"
 	done
 }
+
+ignore_pp_results() {
+	for pp in *.ttcnpp; do
+		ttcn_file="$(echo $pp | sed 's/pp$//')"
+		echo "$ttcn_file" >> .gitignore
+	done
+}