# HG changeset patch
# User wenzelm
# Date 1367248640 -7200
# Node ID 7aebe43d6a143e48d4ff71bd520035044942616a
# Parent  8bbc5fd78cd232237e1d6c011bd68251b5014be8
avoid empty isabelletags.sty for the sake of arXiv;

diff -r 8bbc5fd78cd2 -r 7aebe43d6a14 lib/Tools/document
--- a/lib/Tools/document	Mon Apr 29 17:08:57 2013 +0200
+++ b/lib/Tools/document	Mon Apr 29 17:17:20 2013 +0200
@@ -110,6 +110,7 @@
           ;;
       esac
     done
+    echo
   ) > isabelletags.sty
 }