Remove remove_line_directives (I have not seen any use of it since years)

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}
 

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|(}

Scripts/developer_scripts/remove_line_directives

@@ -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