From 48d5ac5f7373aceba41fc81a2ae844871ffbf76b Mon Sep 17 00:00:00 2001
From: Leon van Kammen <leonvankammen@gmail.com>
Date: Sun, 2 Apr 2023 21:38:52 +0200
Subject: [PATCH] update documentation

---
 doc/generate.awk | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/doc/generate.awk b/doc/generate.awk
index 179ef9a..235fa66 100644
--- a/doc/generate.awk
+++ b/doc/generate.awk
@@ -12,22 +12,22 @@
 # by changing the regexes
 #
 /\$\(/                   { cmd=$0; 
-													 gsub(/^.*\$\(/,"",cmd); 
-													 gsub(/\).*/,"",cmd);
-													 cmd | getline stdout; close(cmd);
+                           gsub(/^.*\$\(/,"",cmd); 
+                           gsub(/\).*/,"",cmd);
+                           cmd | getline stdout; close(cmd);
                            sub(/\$\(.*\)/,stdout);
                          } 
-/\/\*\*/ 			           { doc=1; sub(/^.*\/\*/,""); }
+/\/\*\*/                 { doc=1; sub(/^.*\/\*/,""); }
 doc && /\*\//            { doc=0;
-							           	 sub(/[[:space:]]*\*\/.*/,"");
-							           	 sub(/^[[:space:]]*\*[[:space:]]?/,"");
-							           	 print
-							           }
+                           sub(/[[:space:]]*\*\/.*/,"");
+                           sub(/^[[:space:]]*\*[[:space:]]?/,"");
+                           print
+                         }
 doc && /^[[:space:]]*\*/ { sub(/^[[:space:]]*\*[[:space:]]?/,""); 
-													 print 
+                           print 
                          }
 !doc && /\/\/  /         { sub(".*//  ",""); 
-													 sub("# ","\n# ");
-													 sub("> ","\n> ");
-													 print
-												 }
+                           sub("# ","\n# ");
+                           sub("> ","\n> ");
+                           print
+                         }