chiark / gitweb /
add a blank line to prettyfi
authorian <ian>
Thu, 29 Dec 2005 17:06:30 +0000 (17:06 +0000)
committerian <ian>
Thu, 29 Dec 2005 17:06:30 +0000 (17:06 +0000)
detpic/make-clocks

index bb6beb3ba477733380240ad8a81398614fa1243a..8b2eb6d7ed61f57cd66ba88c8dc89d5b8d9bf3ca 100755 (executable)
@@ -130,6 +130,7 @@ sub doline () {
     if ($cy =~ s/cy$//) { $cy *= 4.0; }
     elsif ($cy = m//) { $cy = 0.0; }
     else { die "$cy ?"; }
+    p("\n");
     p(";========== $orgname ($specd: ${baseinterval}s, ${cy}cy) ==========\n");
     provide_interval($orgname, $baseinterval, 'us', 1.e-6);
     provide_interval($orgname, $baseinterval, 'ms', 1.e-3);