doc/*: editorconfig fixes

2020-07-31 15:06:53 +10:00
parent af2055de21
commit b3d71cd63d
6 changed files with 14 additions and 15 deletions
--- a/doc/old/cross.txt
+++ b/doc/old/cross.txt
@@ -220,7 +220,7 @@ fi

 preConfigure=preConfigure
 preConfigure() {
-    
+
    # Determine the frontends to build.
    langs="c"
    if test -n "$langCC"; then
@@ -262,7 +262,7 @@ postInstall() {

 #if test -z "$profiledCompiler"; then
    #makeFlags="bootstrap"
-#else    
+#else
    #makeFlags="profiledbootstrap"
 #fi