committing new version of jekyll doc theme -- 5.0, with some refinements to come with the documentation

pdf-mydoc.sh

@@ -0,0 +1,11 @@
+echo 'Killing all Jekyll instances'
+kill -9 $(ps aux | grep '[j]ekyll' | awk '{print $2}')
+clear
+
+echo "Building PDF-friendly HTML site for Mydoc ...";
+jekyll serve --detach --config _config.yml,pdfconfigs/config_mydoc_pdf.yml;
+echo "done";
+
+echo "Building the PDF ...";
+prince --javascript --input-list=_site/pdfconfigs/prince-list.txt -o pdf/mydoc.pdf;
+echo "done";