Change license, change style, clean up, flat file hier, clean valgrind output in test

Signed-off-by: Mattias Andrée <maandree@kth.se>

1 files changed, 0 insertions, 732 deletions

diff --git a/mk/configure b/mk/configure
deleted file mode 100644
index 4b6e61a..0000000
--- a/mk/configure
+++ /dev/null
@@ -1,732 +0,0 @@
-# -*- shell-script -*-
-
-# Copyright (C) 2015, 2016  Mattias Andrée <maandree@member.fsf.org>
-# 
-# Copying and distribution of this file, with or without modification,
-# are permitted in any medium without royalty provided the copyright
-# notice and this notice are preserved.  This file is offered as-is,
-# without any warranty.
-
-
-# Run './configure --help' for usage information.
-
-
-#   FOR DEVELOPERS USING THIS SCRIPT:
-# This file is used by include this file, via the . builtin,
-# in your ./configure. Before doing so, you must declare
-#   PKGNAME=the_name_of_your_package
-#   MAN_SECTION_SUFFIX=default_suffix_to_append_to_man_page_section # (usually empty)
-#   MAN_SECTION=the_section_your_man_page_is_in # (do no declare if you do not use exacly one section)
-#   Define the function list_optional_features_help, see the help output.
-#   Define the function unrecognised_argument to deal with any unrecognised argument.
-
-
-
-# Store command for rebuilding Makefile to config.status.
-exec 10>config.status
-
-# Store configurations to .config.mk.
-exec 20>.config.mk
-
-
-# Print a quoted (if necessary) version of a string
-quote ()
-{
-    value="$1"
-    if ! test "${value%%\'*}" = "${value}"; then
-	value="'$(echo "${value}" | sed "s/'/'\\\\''/g")'"
-    elif ! test "$(printf '%s' ${value})" = "${value}"; then
-	value="'${value}'"
-    elif ! test "$(echo ${value}) | tr -d a-zA-Z0-9+_@%/=-" = ""; then
-	value="'${value}'"
-    fi
-    echo "${value}"
-}
-
-
-# Parse command line.
-incomplete=
-dashed=
-f_help=
-f_gnulinux=
-f_bin_merger=
-for option; do
-    if test -n "${incomplete}"; then
-	option="${incomplete}=${option}"
-	incomplete=
-    fi
-    
-    # For --{with{,out},{en,dis}able}-*.
-    feature="${option#--*}"
-    feature="${feature#*-}"
-    feature="$(echo "${feature}" | tr a-z- A-Z_)"
-    
-    # For directories and filename tweaks.
-    nodash=_novar
-    
-    case "${dashed}${option}" in
-# general
-	(--)
-	    dashed=yes ;;
-	(--help)
-	    f_help=yes ;;
-	(--destdir | --destdir=* | --pkgdir | --pkgdir=*)
-	    nodash=destdir ;;
-	(--srcdir | --srcdir)
-	    nodash=srcdir ;;
-
-# directory automation
-	(--gnu-linux)
-	    f_gnulinux=yes ;;
-	(--bin-merger)
-	    f_bin_merger=yes ;;
-
-# directories and filenames
-	(--prefix | --prefix=*)
-	    nodash=prefix ;;
-	(--exec-prefix | --exec-prefix=* | --exec_prefix | --exec_prefix=*)
-	    nodash=exec_prefix ;;
-	(--bindir | --bindir=*)
-	    nodash=bindir ;;
-	(--sbindir | --sbindir=*)
-	    nodash=sbindir ;;
-	(--libexecdir | --libexecdir=*)
-	    nodash=libexecdir ;;
-	(--libdir | --libdir=*)
-	    nodash=libdir ;;
-	(--includedir | --includedir=*)
-	    nodash=includedir ;;
-	(--oldincludedir | --oldincludedir=*)
-	    nodash=oldincludedir ;;
-	(--datarootdir | --datarootdir=*)
-	    nodash=datarootdir ;;
-	(--datadir | --datadir=*)
-	    nodash=datadir ;;
-	(--libdatarootdir | --libdatarootdir=*)
-	    nodash=libdatarootdir ;;
-	(--libdatadir | --libdatadir=*)
-	    nodash=libdatadir ;;
-	(--sysconfdir | --sysconfdir=*)
-	    nodash=sysconfdir ;;
-	(--sharedstatedir | --=sharedstatedir*)
-	    nodash=sharedstatedir ;;
-	(--localstatedir | --localstatedir=*)
-	    nodash=localstatedir ;;
-	(--runstatedir | --runstatedir=*)
-	    nodash=runstatedir ;;
-	(--lispdir | --lispdir=*)
-	    nodash=lispdir ;;
-	(--localedir | --localedir=*)
-	    nodash=localedir ;;
-	(--licensedir | --licensedir=*)
-	    nodash=licensedir ;;
-	(--emptydir | --emptydir=*)
-	    nodash=emptydir ;;
-	(--cachedir | --cachedir=*)
-	    nodash=cachedir ;;
-	(--spooldir | --spooldir=*)
-	    nodash=spooldir ;;
-	(--logdir | --logdir=*)
-	    nodash=logdir ;;
-	(--statedir | --statedir=*)
-	    nodash=statedir ;;
-	(--gamedir | --gamedir=*)
-	    nodash=gamedir ;;
-	(--sharedcachedir | --sharedcachedir=*)
-	    nodash=sharedcachedir ;;
-	(--sharedspooldir | --sharedspooldir=*)
-	    nodash=sharedspooldir ;;
-	(--sharedlogdir | --sharedlogdir=*)
-	    nodash=sharedlogdir ;;
-	(--sharedstatedir | --sharedstatedir=*)
-	    nodash=sharedstatedir ;;
-	(--sharedgamedir | --sharedgamedir=*)
-	    nodash=sharedgamedir ;;
-	(--tmpdir | --tmpdir=*)
-	    nodash=tmpdir ;;
-	(--localtmpdir | --localtmpdir=*)
-	    nodash=localtmpdir ;;
-	(--sharedtmpdir | --sharedtmpdir=*)
-	    nodash=sharedtmpdir ;;
-	(--lockdir | --lockdir=*)
-	    nodash=lockdir ;;
-	(--skeldir | --skeldir=*)
-	    nodash=skeldir ;;
-	(--devdir | --devdir=*)
-	    nodash=devdir ;;
-	(--sysdir | --sysdir=*)
-	    nodash=sysdir ;;
-	(--procdir | --procdir=*)
-	    nodash=procdir ;;
-	(--selfprocdir | --selfprocdir=*)
-	    nodash=selfprocdir ;;
-	(--docdir | --docdir=*)
-	    nodash=docdir ;;
-	(--infodir | --infodir=*)
-	    nodash=infodir ;;
-	(--dvidir | --dvidir=*)
-	    nodash=dvidir ;;
-	(--pdfdir | --pdfdir=*)
-	    nodash=pdfdir ;;
-	(--psdir | --psdir=*)
-	    nodash=psdir ;;
-	(--htmldir | --htmldir=*)
-	    nodash=htmldir ;;
-	(--mandir | --mandir=*)
-	    nodash=mandir ;;
-	(--man0 | --man0=*)
-	    nodash=man0 ;;
-	(--man1 | --man1=*)
-	    nodash=man1 ;;
-	(--man2 | --man2=*)
-	    nodash=man2 ;;
-	(--man3 | --man3=*)
-	    nodash=man3 ;;
-	(--man4 | --man4=*)
-	    nodash=man4 ;;
-	(--man5 | --man5=*)
-	    nodash=man5 ;;
-	(--man6 | --man6=*)
-	    nodash=man6 ;;
-	(--man7 | --man7=*)
-	    nodash=man7 ;;
-	(--man8 | --man8=*)
-	    nodash=man8 ;;
-	(--man9 | --man9=*)
-	    nodash=man9 ;;
-	(--man0ext | --man0ext=*)
-	    nodash=man0ext ;;
-	(--man1ext | --man1ext=*)
-	    nodash=man1ext ;;
-	(--man2ext | --man2ext=*)
-	    nodash=man2ext ;;
-	(--man3ext | --man3ext=*)
-	    nodash=man3ext ;;
-	(--man4ext | --man4ext=*)
-	    nodash=man4ext ;;
-	(--man5ext | --man5ext=*)
-	    nodash=man5ext ;;
-	(--man6ext | --man6ext=*)
-	    nodash=man6ext ;;
-	(--man7ext | --man7ext=*)
-	    nodash=man7ext ;;
-	(--man8ext | --man8ext=*)
-	    nodash=man8ext ;;
-	(--man9ext | --man9ext=*)
-	    nodash=man9ext ;;
-	(--manext | --manext=*)
-	    if test -n "${MAN_SECTION}"; then
-		nodash=manext
-	    else
-		printf "\e[01;31m%s: warning: ignoring: %s\e[00m\n" "${0}" "${option}" >&2
-		sleep 1
-	    fi
-	    ;;
-
-# ignored
-	# Unrecognised directories, and settings that cannot be used with internationalisation.
-	(--*dir=* | --*dir | --man?dir | --man?dir=*)
-	    printf "\e[01;31m%s: warning: ignoring: %s\e[00m\n" "${0}" "${option}" >&2
-	    sleep 1
-	    ;;
-
-# feature tweaking
-	(--with-*)
-	    feature="WITH_${feature}"
-	    echo "${feature}" = yes >&20
-	    export "${feature}"=yes
-	    option="${option}=x"
-	    ;;
-	
-	(--without-*)
-	    feature="WITHOUT_${feature}"
-	    echo "${feature}" = yes >&20
-	    export "${feature}"=yes
-	    option="${option}=x"
-	    ;;
-	
-	(--enable-*=*)
-	    param="${feature#*=}"
-	    feature="${feature%%=*}"
-	    if ! test "${param}" = "no"; then
-		feature="ENABLE_${feature}"
-	    else
-		feature="DISABLE_${feature}"
-		param=yes
-	    fi
-	    echo "${feature}" = "${param}" >&20
-	    export "${feature}"="${param}"
-	    ;;
-	
-	(--enable-*)
-	    feature="DISABLE_${feature}"
-	    echo "${feature}" = yes >&20
-	    export "${feature}"=yes
-	    option="${option}=x"
-	    ;;
-	
-	(--disable-*)
-	    feature="DISABLE_${feature}"
-	    echo "${feature}" = yes >&20
-	    export "${feature}"=yes
-	    option="${option}=x"
-	    ;;
-
-# unrecognised
-	(${dashed}--*)
-	    unrecognised_argument "${option}"
-	    ;;
-
-# variables
-	(${dashed}*=*)
-	    var="${option%%=*}"
-	    val="${option#*=}"
-	    if test -n "$(echo "${var}" | tr -d '[_a-zA-Z0-9-]')"; then
-		# Variable is not used and is potentially not
-		# formatted in a compatible way.
-		printf "\e[01;31m%s: warning: ignoring because of bad format: %s\e[00m\n" "${0}" "${option}" >&2
-		sleep 1
-	    fi
-	    echo "${var}" = "${val}" >&20
-	    ;;
-
-# unrecognised
-	(*)
-	    unrecognised_argument "${option}"
-	    ;;
-    esac
-
-    if test "${option%%=*}" = "${option}"; then
-	incomplete="${option}"
-    else
-	eval "${nodash}=$(quote "${option#*=}")"
-	eval "have_${nodash}=yes"
-    fi
-done
-
-
-# Print usage information. This is parsed by
-# the auto-completion script for ./configure.
-if test -n "${f_help}"; then
-    cat <<EOF
-Configure the package (${PKGNAME}) before building and installing.
-
-OPTIONS
-
-general
-  --help                  Print usage information.
-  --destdir=DIR           Output directory for staged install.
-  --srcdir=DIR            The directory for the sources being compiled.
-  VARIABLE=VALUE          Override a variable in the Makefile.
-
-directory automation
-  --gnu-linux             Use default configurations for GNU/Linux.
-  --bin-merger            The OS distribution has symlinked sbin to bin for the select exec-prefix.
-
-tweaking of features
-EOF
-    list_optional_features_help
-    cat <<EOF
-
-tweaking of directories and filenames
-  --prefix=DIR            Prefix used for other directories than.
-  --exec-prefix=DIR       Prefix used for /bin, /sbin, /libexec, and /lib.
-  --bindir=DIR            Executable programs that users can run.
-  --sbindir=DIR           Executable administrative programs.
-  --libexecdir=DIR        Executable programs run by other programs and not be users.
-  --libdir=DIR            Object files and libraries of object code.
-  --includedir=DIR        Header files.
-  --oldincludedir=DIR     Header files. Should have the prefix /usr if the canonical prefix is /usr/local.
-  --datarootdir=DIR       Architecture-independent data files.
-  --datadir=DIR           Architecture-independent resource files.
-  --libdatarootdir=DIR    Architecture-dependent data files.
-  --libdatadir=DIR        Architecture-dependent resource files.
-  --sysconfdir=DIR        Machine-local configuration files.
-  --sharedstatedir=DIR    Network-shared architecture-independent state files.
-  --localstatedir=DIR     Machine-local architecture-independent state files.
-  --runstatedir=DIR       Machine-local runtime state files.
-  --lispdir=DIR           Emacs LISP files.
-  --localedir=DIR         Locale-specific message catalogues.
-  --licensedir=DIR        License files.
-  --emptydir=DIR          An always empty directory.
-  --cachedir=DIR          Machine-local cached files.
-  --spooldir=DIR          Machine-local spooled files.
-  --logdir=DIR            Machine-local log files
-  --statedir=DIR          Machine-local persistent state files
-  --gamedir=DIR           Machine-local highscore files.
-  --sharedcachedir=DIR    Network-shared cached files.
-  --sharedspooldir=DIR    Network-shared spooled files.
-  --sharedlogdir=DIR      Network-shared log files
-  --sharedstatedir=DIR    Network-shared persistent state files
-  --sharedgamedir=DIR     Network-shared highscore files.
-  --tmpdir=DIR            Machine-local volatile temporary files.
-  --localtmpdir=DIR       Machine-local persistent temporary files.
-  --sharedtmpdir=DIR      Network-shared temporary files.
-  --lockdir=DIR           Lock files.
-  --skeldir=DIR           User skeleton.
-  --devdir=DIR            Devices and pseudo-devices.
-  --sysdir=DIR            System-information logical file.
-  --procdir=DIR           Process-information logical file.
-  --selfprocdir=DIR       Process-information logical file for the process itself.
-  --docdir=DIR            Documentation files, other then info manuals and man pages.
-  --infodir=DIR           Info manuals.
-  --dvidir=DIR            DVI manuals.
-  --pdfdir=DIR            PDF manuals.
-  --psdir=DIR             PostScript manuals.
-  --htmldir=DIR           HTML manuals.
-  --mandir=DIR            Top-level directory for man pages.
-  --man0=DIR              Basename of the directory for section 0 man pages.
-  --man1=DIR              Basename of the directory for section 1 man pages.
-  --man2=DIR              Basename of the directory for section 2 man pages.
-  --man3=DIR              Basename of the directory for section 3 man pages.
-  --man4=DIR              Basename of the directory for section 4 man pages.
-  --man5=DIR              Basename of the directory for section 5 man pages.
-  --man6=DIR              Basename of the directory for section 6 man pages.
-  --man7=DIR              Basename of the directory for section 7 man pages.
-  --man8=DIR              Basename of the directory for section 8 man pages.
-  --man9=DIR              Basename of the directory for section 9 man pages.
-EOF
-    if test -n "${MAN_SECTION}"; then
-	cat <<EOF
-  --manext=EXT            Filename suffix for the man page.
-EOF
-    fi
-    cat <<EOF
-  --man0ext=EXT           Filename suffix for section 0 man pages.
-  --man1ext=EXT           Filename suffix for section 1 man pages.
-  --man2ext=EXT           Filename suffix for section 2 man pages.
-  --man3ext=EXT           Filename suffix for section 3 man pages.
-  --man4ext=EXT           Filename suffix for section 4 man pages.
-  --man5ext=EXT           Filename suffix for section 5 man pages.
-  --man6ext=EXT           Filename suffix for section 6 man pages.
-  --man7ext=EXT           Filename suffix for section 7 man pages.
-  --man8ext=EXT           Filename suffix for section 8 man pages.
-  --man9ext=EXT           Filename suffix for section 9 man pages.
-EOF
-    exit 0
-fi
-
-
-# Set unset directories to their default.
-defdir ()
-{
-    p="$(quote "${2}")"
-    if ! test -n "$(eval echo '${have_'"${1}"'}')"; then
-       eval "${1}=${p}"
-    fi
-}
-if test -n "${f_gnulinux}"; then
-    defdir prefix "/usr"
-    _prefix=
-    case ${prefix} in
-	('' | /   |   /usr | /usr/  |  /games | /games  |  /usr/games | /usr/games/)
-	    _infix=
-	    ;;
-	(/usr/local  |  /usr/local/  |  /usr/local/games  |  /usr/local/games/)
-	    _infix=/local
-	    ;;
-	(/opt/*)
-	    _infix=${prefix}
-	    ;;
-	(*)
-	    # This probably means somewhere in /home, we do not
-	    # checked because we do not know what else to do.
-	    _infix=
-	    _prefix="${prefix}"
-	    ;;
-    esac
-    defdir sysconfdir "${_prefix}/etc${_infix}"
-    defdir sharedstatedir "${_prefix}/com${_infix}"
-    defdir localstatedir "${_prefix}/var${_infix}"
-    defdir runstatedir "${_prefix}/run${_infix}"
-    defdir tmpdir "${_prefix}/tmp${_infix}"
-else
-    defdir prefix "/usr/local"
-    defdir sysconfdir "${prefix}/etc"
-    defdir sharedstatedir "${prefix}/com"
-    defdir localstatedir "${prefix}/var"
-    defdir runstatedir "${localstatedir}/run"
-    defdir tmpdir "${prefix}/tmp"
-fi
-defdir exec_prefix "${prefix}"
-defdir bindir "${exec_prefix}/bin"
-if test -n "${f_bin_merger}"; then
-    defdir sbindir "${bindir}"
-else
-    defdir sbindir "${exec_prefix}/sbin"
-fi
-defdir libexecdir "${exec_prefix}/libexec"
-defdir libdir "${exec_prefix}/lib"
-defdir includedir "${prefix}/include"
-defdir oldincludedir "${includedir}"
-defdir datarootdir "${prefix}/share"
-defdir datadir "${datarootdir}"
-defdir libdatarootdir "${libdir}"
-defdir libdatadir "${libdir}"
-defdir lispdir "${datarootdir}/emacs/site-lisp"
-defdir localedir "${datarootdir}/locale"
-defdir licensedir "${datarootdir}/licenses"
-defdir cachedir "${localstatedir}/cache"
-defdir spooldir "${localstatedir}/spool"
-defdir emptydir "${localstatedir}/empty"
-defdir logdir "${localstatedir}/log"
-defdir statedir "${localstatedir}/lib"
-defdir gamedir "${localstatedir}/games"
-defdir sharedcachedir "${sharedstatedir}/cache"
-defdir sharedpooldir "${sharedstatedir}/spool"
-defdir sharedlogdir "${sharedstatedir}/log"
-defdir sharedstatedir "${sharedstatedir}/lib"
-defdir sharedgamedir "${sharedstatedir}/games"
-defdir localtmpdir "${localstatedir}/tmp"
-defdir sharedtmpdir "${sharedstatedir}/tmp"
-defdir lockdir "${runstatedir}/lock"
-defdir skeldir "${sysconfdir}/skel"
-defdir devdir "/dev"
-defdir sysdir "/sys"
-defdir procdir "/proc"
-defdir selfprocdir "${procdir}/self"
-defdir docdir "${datarootdir}/doc/${PKGNAME}"
-defdir infodir "${datarootdir}/info"
-defdir dvidir "${docdir}"
-defdir pdfdir "${docdir}"
-defdir psdir "${docdir}"
-defdir htmldir "${docdir}"
-defdir mandir "${datarootdir}/man"
-defdir man0 "man0${MAN_SECTION_SUFFIX}"
-defdir man1 "man1${MAN_SECTION_SUFFIX}"
-defdir man2 "man2${MAN_SECTION_SUFFIX}"
-defdir man3 "man3${MAN_SECTION_SUFFIX}"
-defdir man4 "man4${MAN_SECTION_SUFFIX}"
-defdir man5 "man5${MAN_SECTION_SUFFIX}"
-defdir man6 "man6${MAN_SECTION_SUFFIX}"
-defdir man7 "man7${MAN_SECTION_SUFFIX}"
-defdir man8 "man8${MAN_SECTION_SUFFIX}"
-defdir man9 "man9${MAN_SECTION_SUFFIX}"
-if test -n "${MAN_SECTION}" && ! test -n "$(eval echo '${man'"${MAN_SECTION}"'ext}')"; then
-    defdir "man${MAN_SECTION}ext" "$(eval echo '${man'"${MAN_SECTION}"'ext}')"
-fi
-defdir man0ext ".0"
-defdir man1ext ".1"
-defdir man2ext ".2"
-defdir man3ext ".3"
-defdir man4ext ".4"
-defdir man5ext ".5"
-defdir man6ext ".6"
-defdir man7ext ".7"
-defdir man8ext ".8"
-defdir man9ext ".9"
-
-# Found source directory.
-if ! test -n "${srcdir}"; then
-    if test -f "Makefile.in"; then
-	:
-    elif test -f "${PWD}/Makefile.in"; then
-	srcdir="${PWD}"
-    elif test -f "${PWD}/../Makefile.in"; then
-	srcdir="${PWD}/.."
-    fi
-fi
-if test -n "${srcdir}"; then
-    srcdir="$(realpath "${srcdir}")/"
-    srcdir_proper="${srcdir}"
-    srcdir="$(quote "${srcdir}")"
-fi
-if ! test -f "${srcdir_proper}Makefile.in"; then
-    echo "${0}: error: cannot found source directory."
-    exit 1
-fi
-
-
-# Add shebang and "generated"-comment to config.status.
-echo '#!/bin/sh' >&10
-echo >&10
-echo '# This file was generated by ./configure, its purpose is two-fold:' >&10
-echo '# 1) It lets you rebuild Makefile with the same configurations you' >&10
-echo '#    used last time you run ./configure.' >&10
-echo '# 2) It lets Makefile rebuild itself transparently when out of date.' >&10
-echo >&10
-
-# config.status should adjust CWD.
-echo 'cd "$(dirname "${0}")"' >&10
-
-# config.status calls ./configure with all arguments you called ./configure.
-printf "exec %s" "${0}" >&10
-for option; do
-    printf " %s" "$(quote "${option}")" >&10
-done
-echo >&10
-
-# Close config.status.
-exec 10>&-
-
-
-# Store environment (with restrictions).
-env | while read line; do
-    var="${line%%=*}"
-    val="${line#*=}"
-    if test "${var}" = "${line}"; then
-	# Malformated variables. (Can happen!, sigh...)
-	continue
-    elif test -n "$(echo "${var}" | tr -d '[_a-zA-Z0-9-]')"; then
-	# Variable is not used and is potentially not
-	# formatted in a compatible way.
-	continue
-    fi
-    case "${var}" in
-	(_ | PWD | SHELL | SHLVL | TERM | COLORTERM | MAKEFLAGS)
-	    # We do not want to propagate these.
-	    ;;
-	(*)
-	    echo "${var}" = "${val}" >&20
-	    ;;
-    esac
-done
-
-# Store directories and filenames.
-if test -n "${destdir}"; then
-   echo DESTDIR = "${destdir}" >&20
-fi
-echo PREFIX = "${prefix}" >&20
-echo SYSCONFDIR = "${sysconfdir}" >&20
-echo COMDIR = "${sharedstatedir}" >&20
-echo VARDIR = "${localstatedir}" >&20
-echo RUNDIR = "${runstatedir}" >&20
-echo TMPDIR = "${tmpdir}" >&20
-echo DEVDIR = "${devdir}" >&20
-echo SYSDIR = "${sysdir}" >&20
-echo PROCDIR = "${procdir}" >&20
-echo EXEC_PREFIX = "${exec_prefix}" >&20
-echo BINDIR = "${bindir}" >&20
-echo SBINDIR = "${sbindir}" >&20
-echo LIBEXECDIR = "${libexecdir}" >&20
-echo LIBDIR = "${libdir}" >&20
-echo INCLUDEDIR = "${includedir}" >&20
-echo OLDINCLUDEDIR = "${oldincludedir}" >&20
-echo DATADIR = "${datarootdir}" >&20
-echo RESDIR = "${datadir}" >&20
-echo SYSDEPDATADIR = "${libdatarootdir}" >&20
-echo SYSDEPRESDIR = "${libdatadir}" >&20
-echo LISPDIR = "${lispdir}" >&20
-echo LOCALEDIR = "${localedir}" >&20
-echo LICENSEDIR = "${licensedir}" >&20
-echo CACHEDIR = "${cachedir}" >&20
-echo SPOOLDIR = "${spooldir}" >&20
-echo EMPTYDIR = "${emptydir}" >&20
-echo LOGDIR = "${logdir}" >&20
-echo STATEDIR = "${statedir}" >&20
-echo GAMEDIR = "${gamedir}" >&20
-echo COMCACHEDIR = "${sharedcachedir}" >&20
-echo COMPOOLDIR = "${sharedpooldir}" >&20
-echo COMLOGDIR = "${sharedlogdir}" >&20
-echo COMSTATEDIR = "${sharedstatedir}" >&20
-echo COMGAMEDIR = "${sharedgamedir}" >&20
-echo LOCALTMPDIR = "${localtmpdir}" >&20
-echo SHAREDTMPDIR = "${sharedtmpdir}" >&20
-echo LOCKDIR = "${lockdir}" >&20
-echo SKELDIR = "${skeldir}" >&20
-echo SELFPROCDIR = "${selfprocdir}" >&20
-echo DOCDIR = "${docdir}" >&20
-echo INFODIR = "${infodir}" >&20
-echo DVIDIR = "${dvidir}" >&20
-echo PDFDIR = "${pdfdir}" >&20
-echo PSDIR = "${psdir}" >&20
-echo HTMLDIR = "${htmldir}" >&20
-echo MANDIR = "${mandir}" >&20
-echo MAN0 = "${man0}" >&20
-echo MAN1 = "${man1}" >&20
-echo MAN2 = "${man2}" >&20
-echo MAN3 = "${man3}" >&20
-echo MAN4 = "${man4}" >&20
-echo MAN5 = "${man5}" >&20
-echo MAN6 = "${man6}" >&20
-echo MAN7 = "${man7}" >&20
-echo MAN8 = "${man8}" >&20
-echo MAN9 = "${man9}" >&20
-echo MAN0EXT = "${man0ext}" >&20
-echo MAN1EXT = "${man1ext}" >&20
-echo MAN2EXT = "${man2ext}" >&20
-echo MAN3EXT = "${man3ext}" >&20
-echo MAN4EXT = "${man4ext}" >&20
-echo MAN5EXT = "${man5ext}" >&20
-echo MAN6EXT = "${man6ext}" >&20
-echo MAN7EXT = "${man7ext}" >&20
-echo MAN8EXT = "${man8ext}" >&20
-echo MAN9EXT = "${man9ext}" >&20
-
-# Close .config.mk.
-exec 20>&-
-
-# Now, make Makefile available.
-if test -f Makefile; then
-    chmod u+w Makefile # This scripts makes it read-only.
-fi
-exec 30>Makefile
-echo "# ----------------------------------------------------- #" >&30
-echo "# This file was created by ./configure from Makefile.in #" >&30
-echo "# ----------------------------------------------------- #" >&30
-echo >&30
-if test -n "${srcdir}"; then
-   echo v = "${srcdir}" >&30
-fi 
-cat "${srcdir_proper}"Makefile.in >&30
-exec 30>&-
-
-
-# config.status should be executable.
-chmod a+x config.status
-
-# Makefile should be read-only to ones does not edit it by mistake.
-chmod a-w Makefile
-
-
-# Help functions for the parent script.
-test_with ()
-{
-    with="$(eval echo '${WITH_'"${1}"'}')"
-    without="$(eval echo '${WITHOUT_'"${1}"'}')"
-    if ! test -n "${with}" && ! test -n "${without}"; then
-	echo "${2}"
-    elif ! test -n "${with}" && test -n "${without}"; then
-	echo "no"
-    elif test -n "${with}" && ! test -n "${without}"; then
-	echo "yes"
-    elif test "${2}" = yes; then
-	echo "no"
-    else
-	echo "yes"
-    fi
-}
-test_enable ()
-{
-    enable="$(eval echo '${ENABLE_'"${1}"'}')"
-    disable="$(eval echo '${DISABLE_'"${1}"'}')"
-    if ! test -n "${enable}" && ! test -n "${disable}"; then
-	echo "${2}"
-    elif ! test -n "${enable}" && test -n "${disable}"; then
-	echo "no"
-    elif test -n "${enable}" && ! test -n "${disable}"; then
-	echo "${enable}"
-    elif test "${2}" = yes ; then
-	echo "no"
-    else
-	echo "${enable}"
-    fi
-}
-
-
-# After including this file, you may want
-# to do something like:
-#
-#   cat <<EOF
-#   
-#   Enabled features, see ${0} for more infomation:
-#   
-#       Internationalisation     $(test_with GETTEXT yes)
-#       GNU Bash tab-completion  $(test_with BASH yes)
-#       Fish tab-completion      $(test_with FISH yes)
-#       Z shell tab-completion   $(test_with ZSH yes)
-#   
-#   You can now run 'make && make install'.
-#   
-#   EOF
-