1 files changed, 0 insertions, 15 deletions
diff --git a/README.md b/README.md
index 5c269651..90d397d3 100644
--- a/README.md
+++ b/README.md
@@ -28,20 +28,6 @@ largest. There are 88 of them, here's the
 * 1.4.x: `sagitta` (Arrow)
 * ...
 
-## Native
-
-To build the manual, run the following commands inside the `docs` folder:
-
-* `make html` for an HTML manual
-* `make latexpdf` for a LaTeX rendered PDF
-
-Required Debian Packages:
-* `latexmk`
-* `texlive-latex-recommended`
-* `texlive-fonts-recommended`
-* `texlive-latex-extra`
-* `sphinx`
-
 ### sphinx
 Debian requires some extra steps for
 installing `sphinx`, `sphinx-autobuild` and `sphinx-rtd-theme` packages:
@@ -76,7 +62,6 @@ Then run:
 sudo pip install sphinx-rtd-theme
 ```
 
-
 Do the following to build the HTML and start a webserver:
 * Run `make livehtml` inside the `docs` folder