From e456b2cc94ea4338d5fbe9958e656d70f2083ff5 Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Thu, 2 Jun 2016 00:08:47 +0300
Subject: [PATCH] docs/README: Add some hints for PDF docs generation.

---
 docs/README.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/docs/README.md b/docs/README.md
index c59403099..2602a1522 100644
--- a/docs/README.md
+++ b/docs/README.md
@@ -26,3 +26,15 @@ In `micropython/docs`, build the docs:
 Where `<port_name>` can be `unix`, `pyboard`, `wipy` or `esp8266`.
 
 You'll find the index page at `micropython/docs/build/<port_name>/html/index.html`.
+
+PDF manual generation
+---------------------
+
+This can be achieved with:
+
+    make MICROPY_PORT=<port_name> latexpdf
+
+but require rather complete install of LaTeX with various extensions. On
+Debiab/Ubuntu, try (500MB+ download):
+
+    apt-get install texlive-latex-recommended texlive-latex-extra
-- 
GitLab