Do not ask about copying files in the source directory in the github action; Added --non-interactive

.github/workflows/main.yml

@@ -68,7 +68,7 @@ jobs:
 #        run: python2 ./update.py
 
       - name: Generate freecad.qhc and freecad.qch files
-        run: python2 ./buildqhelp.py
+        run: python2 ./buildqhelp.py --non-interactive
 
       - name: Generate freecad.pdf
         run: python2 ./buildpdf.py

buildqhelp.py

@@ -68,7 +68,15 @@ def crawl():
         print("Error at compiling")
         return 1
     if VERBOSE: print("All done!")
-    i=raw_input("Copy the files to their correct location in the source tree? y/n (default=no) ")
+    if "--yes-copy" in sys.argv:
+        i="yes"
+    elif "--no-copy" in sys.argv:
+        i="no"
+    else:
+        try:
+            i=raw_input("Copy the files to their correct location in the source tree? y/n (default=no) ")
+        except:
+            i="no"
     if i.upper() in ["Y","YES"]:
         shutil.copy("localwiki/freecad.qch","../../Doc/freecad.qch")
         shutil.copy("localwiki/freecad.qhc","../../Doc/freecad.qhc")