Diff of /doc/source/bin/add_links [39689d] .. [e6e990]  Maximize  Restore

Switch to side-by-side view

--- a/doc/source/bin/add_links
+++ b/doc/source/bin/add_links
@@ -33,6 +33,11 @@
         then
             #echo "$file"
             mtime=`stat -c '%y' "$file"`
+            if [ `tail -1 "$file"` ]
+            then
+                # Make sure that file ends in a blank line!
+                echo >> "$file"
+            fi
             echo ".. ADD_LINKS MARKER" >> "$file"
             cat $TMP_FILE >> "$file"
             touch -d "$mtime" "$file"