Changeset 107409 in vbox for trunk/doc/manual

Timestamp:

Jan 2, 2025 3:42:02 PM (7 weeks ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

166460

Message:

Docs: ​bugref:10705. bugref:10829. Reverting some unintended changes from r166433.

File:

• trunk/doc/manual/add_file_to_id_only_references.py (modified) (4 diffs)

trunk/doc/manual/add_file_to_id_only_references.py

@@ -1 @@
-#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+# $Id$
+
+"""
+Makes id-only reference in the given file into dita-compliant file#id
+references, using the mapping database generated by build_id_to_file_mapping.py.
+"""
+
 __copyright__ = \
 """
@@ -22 +29 @@
 SPDX-License-Identifier: GPL-3.0-only
 """
+__version__ = "$Revision$"
 
 # Standard python imports.
@@ -77 +85 @@
 
 def main(asArgs):
+    """
+    C-like main function.
+    """
+    #
+    # Process arguments.
+    #
     dIdToFile  = None;
     fEndOfArgs = False;
@@ -150 +164 @@
 
 if __name__ == "__main__":
-    main(sys.argv)
+    sys.exit(main(sys.argv));