From 2be47fb800a13c82241418391b9552f81e056f4c Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Thu, 3 Sep 2009 14:38:36 +0000
Subject: [PATCH] Fill the file global_dont_submit, so that one can simplify
 the script that creates releases.

---
 Maintenance/release_building/global_dont_submit | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Maintenance/release_building/global_dont_submit b/Maintenance/release_building/global_dont_submit
index 21c22268b89..1d54dcfb200 100644
--- a/Maintenance/release_building/global_dont_submit
+++ b/Maintenance/release_building/global_dont_submit
@@ -2,3 +2,11 @@ Makefile
 makefile
 GNUMakefile
 *.eps
+TODO
+todo
+todo.txt
+TODO.txt
+TO_DO
+dont_submit
+*.dxy
+Doxyfile