--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/progs/pprint/README	Thu Jul 30 13:50:54 2020 +0100
@@ -0,0 +1,7 @@
+To obtain pdf via chrome
+
+/Applications/Google\ Chrome.app/Contents/MacOS/Google\ Chrome --headless --disable-gpu --print-to-pdf index.html
+
+To autocrop the pdf to the smallest size
+
+pdf-crop-margins -s -u -p 0 output.pdf 
\ No newline at end of file