From 6a67fea12f1ac24cd4e85a987e7851719da391bc Mon Sep 17 00:00:00 2001
From: Stefan Bienert <stefan.bienert@unibas.ch>
Date: Wed, 10 Jan 2024 11:57:19 +0100
Subject: [PATCH] Update the info on calling the documentation make.py script./

---
 doc/make.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/make.py b/doc/make.py
index 70bac2a58..236a9bef9 100644
--- a/doc/make.py
+++ b/doc/make.py
@@ -2,7 +2,6 @@
 
 import os, sys, re
 import shutil
-from ost import settings
 from optparse import OptionParser
 import subprocess
 from sphinx.application import Sphinx
@@ -68,7 +67,7 @@ def _CollectRstDocs(outdir, dirname, fnames):
         _CreateAndCopy(img_name, outdir)
 
 def ParseArgs():
-  parser = OptionParser("usage: ost make.py [options] ")
+  parser = OptionParser("usage: python make.py [options] ")
   parser.add_option("-l","--linkcheck", action="store_true", default=False, dest="linkcheck", help="validate all external links")
   parser.add_option("-b", "--build-html", action="store_true",
                     default=False, dest="html", help="build html documentation")
-- 
GitLab