ore improvements in wmlmove, update wmllint for 1.3.6.

data/tools/wesnoth/wmltools.py

@@ -287,11 +287,11 @@ class CrossRef:
 
 def scopelist():
     "Return a list of (separate) package scopes, core first."
-    return map(os.path.basename, ["data/core"] + glob.glob("data/campaigns/*"))
+    return ["data/core"] + glob.glob("data/campaigns/*")
 
 def is_namespace(name):
     "Is the name either a valid campaign name or core?"
-    return name in scopelist()
+    return name in map(os.path.basename, scopelist())
 
 def namespace_directory(name):
     "Go from namespace to directory."

data/tools/wmllint

@@ -244,9 +244,12 @@ filemoves = {
         ("colour=8", "colour=white"),
         ("colour=9", "colour=teal"),
     ),
+    "1.3.5" : (),	# This was an aborted release
     # An empty sentinel value at end is required.
     # Always have the current version here.
-    "1.3.5" : ()
+    "1.3.5" : (
+	("Soul Shooter", "Aptrgangr")
+    )
 }
 
 # Turn all the filemove string substition pairs into nearly equivalent

data/tools/wmlmove

@@ -90,7 +90,7 @@ if __name__ == "__main__":
         sys.exit(1)
 
     if listspaces:
-        print " ".join(scopelist())
+        print " ".join(map(os.path.basename, scopelist()))
         sys.exit(0)
 
     # Locate the unit .cfgs to be moved.