diff --git a/build.py b/build.py
index 3056faf..775e3f8 100755
--- a/build.py
+++ b/build.py
@@ -29,7 +29,6 @@ global_pdf_template = 'pdf-template.html'
global_master_doc = 'master-doc.txt'
global_pdflink = ''
from datetime import datetime
-global_today_iso = datetime.today().strftime('%Y-%m-%dT%H%M%S')
global_today = datetime.today().strftime('%Y-%m-%d')
# This matches all *non* letter/number, ' ', '.', '-', and '_' chars
@@ -697,12 +696,14 @@ onepageFile.close()
if pdf:
if noisy:
print('Generating the PDF...')
+ import logging
+ logger = logging.getLogger('weasyprint')
+ logger.addHandler(logging.StreamHandler())
# Create the PDF version of the documentation
pdfpage = pdfpage.replace('{% tree %}', opsidebar) # create the TOC
pdfpage = pdfpage.replace('{{ content }}', '') # cleans up the last spaceholder
pdfpage = pdfpage.replace('{{ today }}', global_today)
- pdfpage = pdfpage.replace('{{ today_iso }}', global_today_iso)
pdfpage = pdfpage.replace('src="/images/', 'src="images/') # makes images links relative
pdfpage = pdfpage.replace('url(\'/images/', 'url(\'images/') # CSS images links relative
# Write it to disk (optional, can be removed)
@@ -713,6 +714,7 @@ if pdf:
# Generating the actual PDF with weasyprint (https://weasyprint.org/)
from weasyprint import HTML
from weasyprint.fonts import FontConfiguration
+
html_font_config = FontConfiguration()
doc = HTML(string = pdfpage, base_url = global_site_dir)
doc.write_pdf(global_site_dir + 'manual.pdf', font_config = html_font_config)
diff --git a/pdf-template.html b/pdf-template.html
index b90d28d..fd40564 100644
--- a/pdf-template.html
+++ b/pdf-template.html
@@ -8,8 +8,8 @@
-
-
+
+
diff --git a/source/css/common.css b/source/css/common.css
index 1accfc7..98d12e5 100644
--- a/source/css/common.css
+++ b/source/css/common.css
@@ -1,7 +1,6 @@
@font-face {
font-family: 'junge-regular';
- src: url('junge-regular-webfont.woff') format('woff'),
- url('junge-regular-webfont.ttf') format('truetype');
+ src: url('../css/junge-regular-webfont.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
@@ -78,11 +77,11 @@ kbd.option {
}
kbd.optoff:before {
- content: url('/images/checkbox-unchecked.png');
+ content: url('../images/checkbox-unchecked.png');
}
kbd.option:before {
- content: url('/images/checkbox-checked.png');
+ content: url('../images/checkbox-checked.png');
}
kbd.menu {
diff --git a/source/css/junge-regular-webfont.woff b/source/css/junge-regular-webfont.woff
deleted file mode 100644
index 4a74925..0000000
Binary files a/source/css/junge-regular-webfont.woff and /dev/null differ
diff --git a/source/css/junge-regular-webfont.woff2 b/source/css/junge-regular-webfont.woff2
deleted file mode 100644
index 331d75e..0000000
Binary files a/source/css/junge-regular-webfont.woff2 and /dev/null differ