From 856a43cfe08179ebbcebe656262b0229925547c8 Mon Sep 17 00:00:00 2001 From: Matthew White Date: Sat, 16 Dec 2017 20:05:50 +0100 Subject: Fix: add missing newline char '\n' --- doc/arch.doc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/arch.doc b/doc/arch.doc index 618dcca..fe86ca9 100644 --- a/doc/arch.doc +++ b/doc/arch.doc @@ -205,7 +205,7 @@ $file = shift @ARGV; print "Toggle debugging mode for $file\n"; if (!-e "../src/${file}.l") { - print STDERR "Error: file ../src/${file}.l does not exist!"; + print STDERR "Error: file ../src/${file}.l does not exist!\n"; exit 1; } system("touch ../src/${file}.l"); -- cgit v0.12