diff --git a/Makefile b/Makefile index 5e51342..527b72c 100644 --- a/Makefile +++ b/Makefile @@ -144,7 +144,7 @@ deb: rm -f ${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB}; make ${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB}; -${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB}: index.html ${INDEX_INCLUDES} ${WIKI_IMPORTS} ${API_VIEWER_SOURCES} ${GEN_DEB_SOURCES} asciidoc-pve pve-docs-mediawiki-import asciidoc/mediawiki.conf +${GEN_DEB} ${DOC_DEB} ${MEDIAWIKI_DEB}: index.html ${INDEX_INCLUDES} ${WIKI_IMPORTS} ${API_VIEWER_SOURCES} ${GEN_DEB_SOURCES} asciidoc-pve pve-docs-mediawiki-import asciidoc/mediawiki.conf verify-images rm -rf build mkdir build rsync -a debian/ build/debian diff --git a/images/screenshot/gui-datacenter-search.png b/images/screenshot/gui-datacenter-search.png index 4fbedcf..4bba147 100644 Binary files a/images/screenshot/gui-datacenter-search.png and b/images/screenshot/gui-datacenter-search.png differ diff --git a/png-cleanup.pl b/png-cleanup.pl new file mode 100755 index 0000000..be82c59 --- /dev/null +++ b/png-cleanup.pl @@ -0,0 +1,22 @@ +#!/usr/bin/perl + +use strict; +use warnings; + +my $infile = shift || + die "no input file specified\n"; + +my $outfile = shift || + die "no outpu file specified\n"; + +# use the following to verify image attributes +# identify -verbose + +# set DPI to 146, so that we can display 1024 pixels (page width) + +my $dpi = 146; + +system("convert -units PixelsPerInch $infile -density $dpi $outfile"); + +# identify should return the same value +# system("identify -units PixelsPerInch -format '%x x %y' $outfile"); diff --git a/png-verify.pl b/png-verify.pl new file mode 100755 index 0000000..248f9fb --- /dev/null +++ b/png-verify.pl @@ -0,0 +1,16 @@ +#!/usr/bin/perl + +use strict; +use warnings; + +my $infile = shift || + die "no input file specified\n"; + +my $dpi = 146; # expected + +my $tmp = `identify -units PixelsPerInch -format '%x x %y' $infile`; + +die "got unexpected DPI density '$tmp' (fix with png-cleanup.pl)\n" + if $tmp ne "$dpi x $dpi"; + +exit 0;