doesn't exist any more anyhow

2003-07-24 15:32:35 +00:00 · 2003-07-24 15:32:35 +00:00 · d6bd43ea87
parent 0a28a20b7f
commit d6bd43ea87
1 changed files with 0 additions and 1 deletions
--- a/tools/pi-makelist
+++ b/tools/pi-makelist
@ -62,7 +62,6 @@ isoinfo -i "$1" -R -l -f			\
 	    -e '^/README\.html$'		\
 	    -e '^/README\.txt$'			\
 	    -e '^/pics/'			\
-	    -e '^/doc/package-developer/hello'	\
 	    -e '^/milo/'			\
 	    -e '^/apb/'				\
 	    -e '^/linux$'			\