add script to fix end newlines

<!-- ps-id: 1af6c3bc-7c17-40af-b082-6c263579d996 -->

Signed-off-by: Ali Caglayan <[email protected]>

Author: Alizter

README.md

@@ -99,4 +99,4 @@ More information can be found in the [Wiki][22].
 [20]: https://code.visualstudio.com/
 [21]: https://github.com/coq-community/vscoq
 
-[22]: https://github.com/HoTT/HoTT/wiki
+[22]: https://github.com/HoTT/HoTT/wiki

etc/fix_end_newlines.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# This command fixes the end-of-file newlines for all files in the repository.
+
+while IFS= read -r file; do
+  # Check if the file is a regular file
+  if [ -f "$file" ]; then
+    if [ -n "$(tail -c 1 "$file")" ]; then
+      echo "Adding newline to file: $file"
+      echo >> "$file"
+      git add "$file"
+    fi
+  fi
+done < <(git ls-files)

theories/Cubical.v

@@ -2,4 +2,4 @@ Require Export Cubical.DPath.
 Require Export Cubical.PathSquare.
 Require Export Cubical.DPathSquare.
 Require Export Cubical.PathCube.
-Require Export Cubical.DPathCube.
+Require Export Cubical.DPathCube.

theories/Diagrams/ParallelPair.v

@@ -32,4 +32,4 @@ Proof.
   srapply Build_Cocone.
   1: intros []; [exact (q o f) | exact q].
   intros [] [] []; [reflexivity | exact Hq].
-Defined.
+Defined.

theories/Diagrams/Span.v

@@ -33,4 +33,4 @@ Section Span.
       + exact g.
   Defined.
 
-End Span.
+End Span.

theories/Spaces/Int.v

@@ -1,4 +1,4 @@
 Require Export HoTT.Spaces.Int.Core.
 Require Export HoTT.Spaces.Int.Spec.
 Require Export HoTT.Spaces.Int.Equiv.
-Require Export HoTT.Spaces.Int.LoopExp.
+Require Export HoTT.Spaces.Int.LoopExp.

theories/Spaces/Pos.v

@@ -1,2 +1,2 @@
 Require Export HoTT.Spaces.Pos.Core.
-Require Export HoTT.Spaces.Pos.Spec.
+Require Export HoTT.Spaces.Pos.Spec.