Changeset 69871

Timestamp:

Nov 22, 2016, 9:54:58 AM (8 years ago)

Author:

wenzeslaus

Message:

doc: check if the keyword is non-empty

Exit with error if a parsed keyword is an empty string.
Based on grass-dev: man error on compilation
​https://lists.osgeo.org/pipermail/grass-dev/2016-November/083153.html

File:

• grass/trunk/man/build_keywords.py (modified) (1 diff)

grass/trunk/man/build_keywords.py

@@ -43 +43 @@
         except:
             pass
+        if not key:
+            exit("Empty keyword from file %s line: %s"
+                 % (fname, lines[index_keys]))
         if key not in keywords.keys():
             keywords[key] = []