From 389d9df98342e4f22bb824ddf86fe42bac0dd9bc Mon Sep 17 00:00:00 2001 From: malc Date: Fri, 12 Oct 2012 10:55:04 +0400 Subject: [PATCH] Cosmetics --- main.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.ml b/main.ml index 3ac45b1..8c25215 100644 --- a/main.ml +++ b/main.ml @@ -6768,7 +6768,7 @@ struct if basename <> path then adddoc path x anchor c bookmarks ) h; - Buffer.add_string bb ""; + Buffer.add_string bb "\n"; true; in if load1 f && Buffer.length bb > 0 -- 2.11.4.GIT