Remove mentionings of DOS.
diff --git a/Doc/ref/ref2.tex b/Doc/ref/ref2.tex
index b2ffa6f..6fba7f4 100644
--- a/Doc/ref/ref2.tex
+++ b/Doc/ref/ref2.tex
@@ -56,7 +56,7 @@
A physical line ends in whatever the current platform's convention is
for terminating lines. On \UNIX, this is the \ASCII{} LF (linefeed)
-character. On DOS/Windows, it is the \ASCII{} sequence CR LF (return
+character. On Windows, it is the \ASCII{} sequence CR LF (return
followed by linefeed). On Macintosh, it is the \ASCII{} CR (return)
character.