From 616724271c8f3d6626e67d8d3a6cdf48489998dc Mon Sep 17 00:00:00 2001 From: Chris Mavrakis Date: Mon, 3 Aug 2015 13:54:51 +0200 Subject: [PATCH] Renamed build docs script reference, removed extraneous sudo, fixed minor format flaw in build_docs.sh. --- build_docs.sh | 2 +- docs/development/Building Manual.md | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/build_docs.sh b/build_docs.sh index 74ec6bb29..17fe50c50 100755 --- a/build_docs.sh +++ b/build_docs.sh @@ -3,7 +3,7 @@ filename=Manual doc_files=( 'Introduction.md' - 'Getting Started.md' + 'Getting Started.md' 'Safety.md' 'Installation.md' 'Configuration.md' diff --git a/docs/development/Building Manual.md b/docs/development/Building Manual.md index 9e08f5b23..ec1cb797d 100755 --- a/docs/development/Building Manual.md +++ b/docs/development/Building Manual.md @@ -1,12 +1,12 @@ #Building Manual. -The manual PDF file is generated by concatenating relevant markdown files and by transforming the result using Gimli to obtain the final PDF file. This steps are handled automatically by the ```build_manual.sh``` script located in the root of the repository next to the Makefile. +The manual PDF file is generated by concatenating relevant markdown files and by transforming the result using Gimli to obtain the final PDF file. This steps are handled automatically by the ```build_docs.sh``` script located in the root of the repository next to the Makefile. ##Requrements & Installation The PDF manual generation uses the Gimli for the conversion. It can be installed via ruby gems. On Debian based systems the installation steps are: ```bash sudo apt-get install ruby1.9.1 ruby1.9.1-dev rubygems zlib1g-dev wkhtmltopdf libxml2-dev libxslt-dev - sudo sudo gem1.9.1 install gimli + sudo gem1.9.1 install gimli ``` ##Configuration @@ -17,4 +17,4 @@ doc_files=( 'Configuration.md' '...' '...' ) -``` \ No newline at end of file +```