[paparazzi-commits] [6450] minor fixes an develenv.sh

[Oliver Riesener]

Revision: 6450
          http://svn.sv.gnu.org/viewvc/?view=rev&root=paparazzi&revision=6450
Author:   olri
Date:     2011-03-31 08:15:53 +0000 (Thu, 31 Mar 2011)
Log Message:
-----------
minor fixes an develenv.sh

Modified Paths:
--------------
    toolchains/stm32/paparazzi-stm32-1.0.0/develenv.sh

Modified: toolchains/stm32/paparazzi-stm32-1.0.0/develenv.sh
===================================================================
--- toolchains/stm32/paparazzi-stm32-1.0.0/develenv.sh  2011-03-30 13:23:57 UTC 
(rev 6449)
+++ toolchains/stm32/paparazzi-stm32-1.0.0/develenv.sh  2011-03-31 08:15:53 UTC 
(rev 6450)
@@ -14,13 +14,19 @@
                libgmp3-dev \
                libmpfr-dev \
                libncurses5-dev \
-               libtool
+               libtool \
+               texinfo \
+               asciidoc
     ;;
     Ubuntu)
        aptitude -y install \
                libmpfr-dev \
-               libtool
+               libtool \
+               texinfo \
+               asciidoc
     ;;
     *)
+       echo "Which Linux you are using ?"
+       exit 1
     ;;
 esac