From e31449548a770a2bc22673d0c25476da927f045b Mon Sep 17 00:00:00 2001
From: Mike Kamermans <pomax@nihongoresources.com>
Date: Mon, 18 Sep 2017 20:40:24 -0700
Subject: [PATCH] Update cleanup.js

---
 tools/cleanup.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/cleanup.js b/tools/cleanup.js
index 7532942a..71452014 100644
--- a/tools/cleanup.js
+++ b/tools/cleanup.js
@@ -9,7 +9,7 @@ module.exports = function cleanUp(latex) {
 
   // also unindent the LaTeX.
   var indent = false;
-  var lines = latex.split('\n').filter(function(line) { return !!line.trim(); });
+  var lines = latex.split('\n').filter(line => !!line.trim());
   var clean = function(line, idx) {
     if(line.trim()) {
       if (!indent) {