From 1c61328c83a0b2a42ead934b4d73d4701be72514 Mon Sep 17 00:00:00 2001 From: Lars Kurth Date: Wed, 9 May 2018 10:52:17 +0100 Subject: [PATCH] Add comment when using htmlformatter.com, which does not always generate identical output when run on the same file. --- README.source | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.source b/README.source index 1cf143b..96dfd35 100644 --- a/README.source +++ b/README.source @@ -26,4 +26,6 @@ Protocol after succesful review 1) Convert pandoc file to html (this will create a html file with no line breaks) Use pandoc or an on-line service -2) Use a tool such as http://htmlformatter.com/ to clean html +2) Use a tool such as http://htmlformatter.com/ to clean html. + If you do, manually reject any unnecessary format changes. This is very + easy with a git aware editor in which individual changes can be rejected. -- 2.39.5