sat #18867 : pour les url des bases git : substitution des references par leur valeur...

[tools/sat.git] / commands / doc.py

diff --git a/commands/doc.py b/commands/doc.py
index 4ffd3a0be9aef8090ba726a25cd8ea55fdec8f1d..0c9b44881b807698f208719607bd97816135b85d 100644 (file)
--- a/commands/doc.py
+++ b/commands/doc.py
@@ -59,13 +59,27 @@ def run(args, runner, logger):
     logger.write("docdir %s\n" % docDir, 6)
     logger.write("options %s\n" % options, 6)
 
-    if options.xml:
-        src.system.show_in_editor(runner.cfg.USER.browser, htmlFile, logger)
     if options.pdf:
+        if not os.path.isfile(pdfFile):
+            msg = "\npdf documentation not found. Please build it inside doc directory\n"\
+                  "(follow README instructions in doc directory)\n"
+            logger.error(msg)
+            return 1
         src.system.show_in_editor(runner.cfg.USER.pdf_viewer, pdfFile, logger)
-    if options.edit:
+
+    elif options.edit:
         src.system.show_in_editor(runner.cfg.USER.editor, rstFiles, logger)
         src.system.show_in_editor(runner.cfg.USER.editor, rstFilesCommands, logger)
-    if options.compile:
-        logger.write("How to comile documentation:\n%s" % open(readmeFile,"r").read(), 3)
+
+    elif options.compile:
+        logger.write("How to compile documentation:\n%s" % open(readmeFile,"r").read(), 3)
+
+    else:
+        if not os.path.isfile(htmlFile):
+            msg = "\nhtml documentation not found. Please build it inside doc directory\n"\
+                  "(follow README instructions in doc directory)\n"
+            logger.error(msg)
+            return 1
+        src.system.show_in_editor(runner.cfg.USER.browser, htmlFile, logger)
+
     return 0