... | ... | @@ -88,7 +88,7 @@ Due to the nature of Debian, you may have difficulty building GHC \>7.6 due to v |
|
|
For building the documentation (User's Guide):
|
|
|
|
|
|
```wiki
|
|
|
sudo apt-get install dblatex docbook-xsl docbook-utils libxml2-utils
|
|
|
sudo apt-get install dblatex docbook-xsl docbook-utils libxml2-utils texlive-font-utils
|
|
|
```
|
|
|
|
|
|
|
... | ... | |