diff options
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 059cea0f..16eb991d 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -223,7 +223,7 @@ write_page_header() { rm -f $PAGE BUILDINFO_ON_PAGE=false write_page "<!DOCTYPE html><html><head>" - write_page "<meta name="globalsign-domain-verification" content="Ri3secINNIbMrZ7EE0iXDs3Fe05MUAO56jZC5lde43" />" # FIXME: remove this oncewe got the cert... + write_page "<meta name=\"globalsign-domain-verification\" content=\"Ri3secINNIbMrZ7EE0iXDs3Fe05MUAO56jZC5lde43\" />" # FIXME: remove this oncewe got the cert... write_page "<meta http-equiv=\"Content-Type\" content=\"text/html; charset=UTF-8\" />" write_page "<link href=\"/userContent/static/style.css\" type=\"text/css\" rel=\"stylesheet\" />" write_page "<title>$2</title></head>" |