diff options
Diffstat (limited to 'scripts/kernel-doc')
| -rwxr-xr-x | scripts/kernel-doc | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/scripts/kernel-doc b/scripts/kernel-doc index 71ada0073805..0ac1a07874cc 100755 --- a/scripts/kernel-doc +++ b/scripts/kernel-doc | |||
| @@ -253,11 +253,20 @@ my %highlights = %highlights_man; | |||
| 253 | my $blankline = $blankline_man; | 253 | my $blankline = $blankline_man; |
| 254 | my $modulename = "Kernel API"; | 254 | my $modulename = "Kernel API"; |
| 255 | my $function_only = 0; | 255 | my $function_only = 0; |
| 256 | my $show_not_found = 0; | ||
| 257 | |||
| 258 | my @build_time; | ||
| 259 | if (defined($ENV{'KBUILD_BUILD_TIMESTAMP'}) && | ||
| 260 | (my $seconds = `date -d"${ENV{'KBUILD_BUILD_TIMESTAMP'}}" +%s`) ne '') { | ||
| 261 | @build_time = gmtime($seconds); | ||
| 262 | } else { | ||
| 263 | @build_time = localtime; | ||
| 264 | } | ||
| 265 | |||
| 256 | my $man_date = ('January', 'February', 'March', 'April', 'May', 'June', | 266 | my $man_date = ('January', 'February', 'March', 'April', 'May', 'June', |
| 257 | 'July', 'August', 'September', 'October', | 267 | 'July', 'August', 'September', 'October', |
| 258 | 'November', 'December')[(localtime)[4]] . | 268 | 'November', 'December')[$build_time[4]] . |
| 259 | " " . ((localtime)[5]+1900); | 269 | " " . ($build_time[5]+1900); |
| 260 | my $show_not_found = 0; | ||
| 261 | 270 | ||
| 262 | # Essentially these are globals. | 271 | # Essentially these are globals. |
| 263 | # They probably want to be tidied up, made more localised or something. | 272 | # They probably want to be tidied up, made more localised or something. |
