diff --git a/scripts/FIXME_list.sh b/scripts/FIXME_list.sh
index a2e6ec41a..22adaff4b 100644
--- a/scripts/FIXME_list.sh
+++ b/scripts/FIXME_list.sh
@@ -29,48 +29,51 @@ if test $# -eq 0; then
     echo "Usage: $0 [-a] pathname" 1>&2
     exit 1;
 fi
-
-for page in $(find $1 -type f -name '*.[1-9]' \
-			-exec grep -l FIXME {} \; | sort)
+for dir in "$@"; 
 do
-    cat $page | awk -v SHOW_ALL=$show_all -v PAGE_NAME=$page '
-        BEGIN { 
-	    page_FIXME_cnt = 0; 
-	}
-    	
-	/FIXME/ { 
-
-            # /.\" FIXME . / ==> do not display this FIXME, unless
-            # -a command-line option was supplied
-	    
-	    if (!($0 ~ /^\.\\\" FIXME \./ ) || SHOW_ALL == "y") {
-	        if (page_FIXME_cnt == 0) {
-		    print "==========";
-		    print PAGE_NAME;
-	        }
-	        page_FIXME_cnt++;
-		
-	        finished = 0; 
-	        do { 
-	            print $0; 
+    for page in $(find "$dir" -type f -name '*.[1-9]' \
+			-exec grep -l FIXME {} \; | sort)
+    do
+        cat "$page" | awk -v SHOW_ALL=$show_all -v PAGE_NAME="$page" \
+	    '
+            BEGIN { 
+	        page_FIXME_cnt = 0; 
+	    }
+    	    
+	    /FIXME/ { 
+    
+                # /.\" FIXME . / ==> do not display this FIXME, unless
+                # -a command-line option was supplied
+	        
+	        if (!($0 ~ /^\.\\\" FIXME \./ ) || SHOW_ALL == "y") {
+	            if (page_FIXME_cnt == 0) {
+		        print "==========";
+		        print PAGE_NAME;
+	            }
+	            page_FIXME_cnt++;
 		    
-		    # Implicit end of FIXME is end-of-file or a line 
-		    # that is not a comment
-
-	            if (getline == 0)
-		        finished = 1;
-
-	            if (!($0 ~ /^.\\\"/)) 
-		        finished = 1;
+	            finished = 0; 
+	            do { 
+	                print $0; 
+		        
+		        # Implicit end of FIXME is end-of-file or a line 
+		        # that is not a comment
     
-                    # /.\" .$/ ==> Explicit end of FIXME
+	                if (getline == 0)
+		            finished = 1;
     
-	            if ($0 ~ /^.\\\" \.$/) 
-		        finished = 1;
-	        } while (!finished);
-
-	        print "";
-            }
-    	}
-        '
-done | sed -e 's/^\.\\"/    /' | sed -e 's/ *$//' | cat -s
+	                if (!($0 ~ /^.\\\"/)) 
+		            finished = 1;
+        
+                        # /.\" .$/ ==> Explicit end of FIXME
+        
+	                if ($0 ~ /^.\\\" \.$/) 
+		            finished = 1;
+	            } while (!finished);
+    
+	            print "";
+                }
+    	    }
+            '
+    done | sed -e 's/^\.\\"/    /' | sed -e 's/ *$//' | cat -s
+done