By downloading this code you agree to the
Source Code Use License (PDF). |
{ version = 1.03; (* of despace.p 2015 Mar 26}
(* begin module describe.despace *)
(*
name
despace: remove space character duplications
synopsis
despace(input: in, output: out)
files
input: input file
output: input file with duplicated space characters removed.
description
The input file is copied to the output file and when a character
matches the previous character it is not output.
examples
The string:
'hi therrre'
becomes:
'hi therrre'
documentation
see also
rembla, rb, dedup
author
Thomas Dana Schneider
bugs
technical notes
*)
(* end module describe.despace *)
{This manual page was created by makman 1.45}
{created by htmlink 1.62}