diff options
| -rw-r--r-- | logparse/debian-installer.rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/logparse/debian-installer.rules b/logparse/debian-installer.rules index f62c5e1c..e71f28cb 100644 --- a/logparse/debian-installer.rules +++ b/logparse/debian-installer.rules @@ -24,6 +24,9 @@ ok /^WARNING: If you have created or modified any DOS 6/ # make these d-i_manual_$lang_pdf job builds "succeed" even though the build then basically is a no-op ok /^Warning: pdf and ps formats are currently not supported for Chinese, Greek, Japanese and Vietnamese/ +# also for the manual +ok /.+manual\/build\/stylesheets\/png\/warning.png/ + # make https://jenkins.debian.net/job/d-i_build_apt-setup/ build nicely ok /^WARNING: .+: spurious newline removed/ |