From 8fd4f752828a94eaa7c5ca7792b7b1f0a46765b0 Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Wed, 12 Jul 2006 13:55:52 +0000
Subject: [PATCH] Remove remove_line_directives  (I have not seen any use of it
 since years)

---
 .../doc_tex/Developers_manual/code_format.tex       |  2 --
 .../doc_tex/Developers_manual/tools.tex             | 12 ------------
 Scripts/developer_scripts/remove_line_directives    | 13 -------------
 3 files changed, 27 deletions(-)
 delete mode 100755 Scripts/developer_scripts/remove_line_directives

diff --git a/Developers_manual/doc_tex/Developers_manual/code_format.tex b/Developers_manual/doc_tex/Developers_manual/code_format.tex
index f4a3a098433..b4fb798a3da 100644
--- a/Developers_manual/doc_tex/Developers_manual/code_format.tex
+++ b/Developers_manual/doc_tex/Developers_manual/code_format.tex
@@ -368,8 +368,6 @@ in contrast to the rules of previous paragraph.
 \item Write only one statement per line.
 \item Use \CC-style comments, \eg,~{\ccFont // some comment}.%
       \ccIndexSubitem{code format}{comments}
-\item Remove line pragmas, \ie,~\verb|#line...|.%
-      \InternalOnly{(See Section~\ref{sec:remove_line_directives}.)}
 \end{itemize}
 \ccIndexMainItemEnd{code format}
 
diff --git a/Developers_manual/doc_tex/Developers_manual/tools.tex b/Developers_manual/doc_tex/Developers_manual/tools.tex
index d356cc239b1..6c0972aa1a4 100644
--- a/Developers_manual/doc_tex/Developers_manual/tools.tex
+++ b/Developers_manual/doc_tex/Developers_manual/tools.tex
@@ -53,18 +53,6 @@ Section~\ref{sec:checks_controlling}.
 \index{create_assertions.sh script@{\tt create\_assertions.sh} script|)}
 
 
-\section{{\tt remove\_line\_directives}}
-\label{sec:remove_line_directives}
-\index{remove_line_directives script@{\tt remove\_line\_directives} script}
-\ccIndexSubitem{line pragmas}{removing}
-
-\cgal\ source files should not contain line directives, even if they are made
-with the help of a literate programming tool like funnelweb.
-The script
-\ccAnchor{https://gforge.inria.fr/plugins/scmsvn/viewcvs.php/trunk/Scripts/developer_scripts/remove_line_directives?root=cgal&view=markup}
-{{\tt remove\_line\_directives}} can be used to remove
-lines starting with {\tt \#line}.
-
 \section{{\tt rename\_clib\_calls}}
 \label{sec:rename_clib_calls}
 \index{rename_clib_calls script@{\tt rename\_clib\_calls} script|(}
diff --git a/Scripts/developer_scripts/remove_line_directives b/Scripts/developer_scripts/remove_line_directives
deleted file mode 100755
index 8d1701b39a8..00000000000
--- a/Scripts/developer_scripts/remove_line_directives
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-
-tmpfil=".rld$$"
-
-for file in $*
-do
-    if sed -e '/^#line / d' ${file} > ${tmpfil}
-    then
-	mv ${tmpfil} ${file}
-    else
-	rm -f ${tmpfil}
-    fi
-done