#
108f3266 |
|
28-Aug-2014 |
Piotr Trojanek <piotr.trojanek@gmail.com> |
duplicate words removed from various documentation files The magic command is: grep " \([[:alpha:]]\+\) \1[[:space:]]" \ `find . -name "*.doc" -or -name "*.tex"` but the output still needs to be filtered by eye, since many duplicates occur in embedded math and ML. Duplicates in the Italian manual approved by Domenico Masini.
|