--- a/src/Pure/Tools/doc.scala Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Tools/doc.scala Mon Mar 01 22:22:12 2021 +0100
@@ -84,7 +84,7 @@
/* view */
- def view(path: Path)
+ def view(path: Path): Unit =
{
if (path.is_file) Output.writeln(Library.trim_line(File.read(path)), stdout = true)
else {