diff -r 035f231898cc -r c72aecd1a9ef docs/overview.txt
--- a/docs/overview.txt	Thu Dec 11 18:21:18 2008 +0000
+++ b/docs/overview.txt	Sat Jan 03 21:11:41 2009 +0000
@@ -741,15 +741,6 @@
      target tuple
    + return value: ignored
 
- > defines the function "do_print_filename":
-   + parameters: none
-   + environment:
-      - all variables from the ".config" file,
-   + return value: ignored
-   + behavior: output the kernel's tarball filename, with adequate suffix,
-     on stdout.
-       Eg.: linux-2.6.26.5.tar.bz2
-
  > defines the function "do_kernel_get":
    + parameters: none
    + environment: