Skip to content
Commits on Source (4)
strip-nondeterminism (0.044-1) unstable; urgency=medium
[ Emmanuel Bourg ]
* Update the Javadoc handler to handle "dc.created" meta headers too for
OpenJDK 11. (Closes: #913132)
-- Chris Lamb <lamby@debian.org> Wed, 07 Nov 2018 11:17:51 +0000
strip-nondeterminism (0.043-2) unstable; urgency=medium
* Fix d/watch after the move off alioth.debian.org.
......
......@@ -25,7 +25,7 @@ use POSIX qw(tzset);
our($VERSION, $canonical_time, $clamp_time);
$VERSION = '0.043'; # 0.043
$VERSION = '0.044'; # 0.044
sub init() {
$ENV{'TZ'} = 'UTC';
......
......@@ -59,14 +59,14 @@ sub normalize {
unless $line
=~ /^\s*$/; # elide lines that are now whitespace-only
$modified = 1;
} elsif ($line =~ /\<META NAME="date" CONTENT="[^"]*"\>/i) {
} elsif ($line =~ /\<META NAME="(date|dc.created)" CONTENT="[^"]*"\>/i) {
if (defined $File::StripNondeterminism::canonical_time) {
my $date = strftime('%Y-%m-%d',
gmtime($File::StripNondeterminism::canonical_time));
$line
=~ s/\<(META NAME="date" CONTENT)="[^"]*"\>/<$1="$date">/gi;
=~ s/\<(META NAME="(?:date|dc.created)" CONTENT)="[^"]*"\>/<$1="$date">/gi;
} else {
$line =~ s/\<META NAME="date" CONTENT="[^"]*"\>//gi;
$line =~ s/\<META NAME="(?:date|dc.created)" CONTENT="[^"]*"\>//gi;
}
print $tempfile $line
unless $line
......
<!DOCTYPE HTML>
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.1) on Wed Nov 07 09:50:23 CET 2018 -->
<title>Generated Documentation (Untitled)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2018-11-07">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
<script type="text/javascript" src="script.js"></script>
<!DOCTYPE HTML>
<!-- NewPage -->
<html>
<head>
<title>Generated Documentation (Untitled)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2015-02-05">
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
<script type="text/javascript" src="script.js"></script>