Changeset 9a36761 for auto/options

Timestamp:

06/10/09 19:55:47 (15 years ago)

Author:

Mateusz Hromada <ruanda@…>

Branches:

master

Children:

c7ecbc2

Parents:

b5884b3

git-author:

Mateusz Hromada <ruanda@…> (06/10/09 19:55:47)

git-committer:

Mateusz Hromada <ruanda@…> (06/10/09 19:55:47)

Message:

Migration to new build system.

• documentation moved and checked

File:

• auto/options (modified) (3 diffs)

auto/options

@@ -25 +25 @@
 if [ -z "$CP" ];                then CP=$DEFAULT_CP;                                fi
 if [ -z "$CHMOD" ];             then CHMOD=$DEFAULT_CHMOD;                          fi
+if [ -z "$MAKEINFO" ];          then MAKEINFO=$DEFAULT_MAKEINFO;                    fi
+if [ -z "$TEXI2DVI" ];          then TEXI2DVI=$DEFAULT_TEXI2DVI;                    fi
+if [ -z "$TEXI2PDF" ];          then TEXI2PDF=$DEFAULT_TEXI2PDF;                    fi
+if [ -z "$DVIPS" ];             then DVIPS=$DEFAULT_DVIPS;                          fi
 
 if [ -z "$CFLAGS" ];            then CFLAGS=$DEFAULT_CFLAGS;                        fi
@@ -80 +84 @@
     CP=*)               CP="$value"                               ;;
     CHMOD=*)            CHMOD="$value"                            ;;
+    MAKEINFO=*)         MAKEINFO="$value"                         ;;
+    TEXI2DVI=*)         TEXI2DVI="$value"                         ;;
+    TEXI2PDF=*)         TEXI2PDF="$value"                         ;;
+    DVIPS=*)            DVIPS="$value"                            ;;
+
 
     CFLAGS=*)           CFLAGS="$value"                           ;;
@@ -136 +145 @@
   CP                    cp command
   CHMOD                 chmod command
+  MAKEINFO              makeinfo command
+  TEXI2DVI              texi2dvi command
+  TEXI2PDF              texi2pdf command
+  DVIPS                 dvips command
+
 
   CFLAGS                C compiler flags