Fixing typos - Part 1

5 files changed, 14 insertions, 14 deletions

diff --git a/dev/build/windows/MakeCoq_MinGW.bat b/dev/build/windows/MakeCoq_MinGW.bat
index c3f3a97ff5..7c8f73c7e4 100755
--- a/dev/build/windows/MakeCoq_MinGW.bat
+++ b/dev/build/windows/MakeCoq_MinGW.bat
@@ -285,9 +285,9 @@ SET RESULT_INSTALLDIR_WFMT=%DESTCOQ%
 SET TARGET_ARCH=%ARCH%-w64-mingw32

 SET BASH=%CYGWIN_INSTALLDIR_WFMT%\bin\bash

 

-REM Convert pathes to various formats

+REM Convert paths to various formats

 REM WFMT = windows format (C:\..)          Used in this batch file.

-REM CFMT = cygwin format (\cygdrive\c\..)  Used for Cygwin PATH varible, which is : separated, so C: doesn't work.

+REM CFMT = cygwin format (\cygdrive\c\..)  Used for Cygwin PATH variable, which is : separated, so C: doesn't work.

 REM MFMT = MinGW format (C:/...)           Used for the build, because \\ requires escaping. Mingw can handle \ and /.

 

 SET CYGWIN_INSTALLDIR_MFMT=%CYGWIN_INSTALLDIR_WFMT:\=/%

@@ -429,13 +429,13 @@ ECHO ========== BATCH FUNCTIONS ==========
   REM  01234567890123456789012345678901234567890123456789012345678901234567890123456789

   ECHO -arch     ^<i686 or x86_64^> Set cygwin, ocaml and coq to 32 or 64 bit

   ECHO -mode     ^<mingwincygwin = install coq in default cygwin mingw sysroot^>

-  ECHO           ^<absoloute = install coq in -destcoq absulute path^>

+  ECHO           ^<absolute = install coq in -destcoq absolute path^>

   ECHO           ^<relocatable = install relocatable coq in -destcoq path^>

   ECHO -installer^<Y or N^> create a windows installer (will be in /build/coq/dev/nsis)

   ECHO -ocaml    ^<Y or N^> install OCaml in Coq folder (Y) or just in cygwin folder (N)

   ECHO -make     ^<Y or N^> install GNU Make in Coq folder (Y) or not (N)

   ECHO -destcyg  ^<path to cygwin destination folder^>

-  ECHO -destcoq  ^<path to coq destination folder (mode=absoloute/relocatable)^>

+  ECHO -destcoq  ^<path to coq destination folder (mode=absolute/relocatable)^>

   ECHO -setup    ^<cygwin setup program name^> (auto adjusted to -arch)

   ECHO -proxy    ^<internet proxy^>

   ECHO -cygrepo  ^<cygwin download repository^>

diff --git a/dev/build/windows/ReadMe.txt b/dev/build/windows/ReadMe.txt
index a392115ea4..55b46c616c 100644
--- a/dev/build/windows/ReadMe.txt
+++ b/dev/build/windows/ReadMe.txt
@@ -43,7 +43,7 @@ paths like "C:\myfolder\myfile.txt" and that they don't link to a Cygwin or msys
 DLL.
 
 The missing piece is a posix shell running on plain Windows (without msys or
-Cygwin DLL) and not beeing a binary from obscure sources. I am working on it ...
+Cygwin DLL) and not being a binary from obscure sources. I am working on it ...
 
 Since compiling gcc and binutils takes a while and it is not of much use without
 a shell, the building of these components is currently disabled. OCaml is built
@@ -274,11 +274,11 @@ Default value: N
 
 ===== -cygquiet =====
 
-Control if the Cygwin setup runs quitely or interactive.
+Control if the Cygwin setup runs quietly or interactive.
 
 Possible values:
 
-Y: Install Cygwin quitely without user interaction.
+Y: Install Cygwin quietly without user interaction.
 
 N: Install Cygwin interactively (allows to select additional packages).
 
@@ -344,12 +344,12 @@ selecting more packages)
 ==================== TODO ====================
 
 - Check for spaces in destination paths
-- Check for = signs in all paths (DOS commands don't work with pathes with = in it, possibly even when quoted)
+- Check for = signs in all paths (DOS commands don't work with paths with = in it, possibly even when quoted)
 - Installer doesn't remove OCAMLLIB environment variables (it is in the script, but doesn't seem to work)
 - CoqIDE doesn't find theme files
 - Finish / test mingw_in_Cygwin mode (coqide doesn't start, coqc slow cause of scanning complete share folder)
-- Possibly create/login as specific user to bash (not sure if it makes sense - nead to create additional bash login link then)
-- maybe move share/doc/menhir somehwere else (reduces coqc startup time)
+- Possibly create/login as specific user to bash (not sure if it makes sense - need to create additional bash login link then)
+- maybe move share/doc/menhir somewhere else (reduces coqc startup time)
 - Use original installed file list for removing files in uninstaller 
 
 ==================== Issues with relocation ====================
diff --git a/dev/build/windows/difftar-folder.sh b/dev/build/windows/difftar-folder.sh
index 3bba451ec6..543ca972cd 100644
--- a/dev/build/windows/difftar-folder.sh
+++ b/dev/build/windows/difftar-folder.sh
@@ -40,7 +40,7 @@ fi
 # Get path prefix if --strip is used
 
 if [ "$strip" -gt 0 ] ; then
-  # Get the path/name of the first file from teh tar and extract the first $strip path components
+  # Get the path/name of the first file from the tar and extract the first $strip path components
   # This assumes that the first file in the tar file has at least $strip many path components
   prefix=$(tar -t -f "$tarfile" | head -1 | cut -d / -f -$strip)/
 else
diff --git a/dev/build/windows/makecoq_mingw.sh b/dev/build/windows/makecoq_mingw.sh
index d737632638..549f70e8fe 100755
--- a/dev/build/windows/makecoq_mingw.sh
+++ b/dev/build/windows/makecoq_mingw.sh
@@ -765,7 +765,7 @@ function make_ncurses {
   # gettext make/make install work anyway
   #
   # CONFIGURE PARAMETERS
-  # --enable-term-driver --enable-sp-funcs is rewuired for mingw (see README.MinGW)
+  # --enable-term-driver --enable-sp-funcs is required for mingw (see README.MinGW)
   # additional changes
   # ADD --with-pkg-config
   # ADD --enable-pc-files
@@ -1281,7 +1281,7 @@ function copy_coq_objects {
   done
 }
 
-# Copy required GTK config and suport files
+# Copy required GTK config and support files
 
 function copy_coq_gtk {
   echo 'gtk-theme-name = "Default"'     >  "$PREFIX/etc/gtk-3.0/gtkrc"
diff --git a/dev/build/windows/patches_coq/pkg-config.c b/dev/build/windows/patches_coq/pkg-config.c
index e4fdcd4d7d..c4c7ec2bff 100755
--- a/dev/build/windows/patches_coq/pkg-config.c
+++ b/dev/build/windows/patches_coq/pkg-config.c
@@ -1,5 +1,5 @@
 // MinGW personality wrapper for pkgconf
-// This is an excutable replacement for the shell scripts /bin/ARCH-pkg-config
+// This is an executable replacement for the shell scripts /bin/ARCH-pkg-config
 // Compile with e.g.
 // gcc pkg-config.c -DARCH=x86_64-w64-mingw32 -o pkg-config.exe
 // gcc pkg-config.c -DARCH=i686-w64-mingw32 -o pkg-config.exe