aboutsummaryrefslogtreecommitdiff
path: root/skribe/etc/bigloo/autoconf/blibdir
diff options
context:
space:
mode:
authorLudovic Court`es2006-10-11 07:43:47 +0000
committerLudovic Court`es2006-10-11 07:43:47 +0000
commitd4360259d60722eaa175a483f792fce7b8c66d97 (patch)
tree622cc21b820e3dd4616890bc9ccba74de6637d8a /skribe/etc/bigloo/autoconf/blibdir
parentfc42fe56a57eace2dbdb31574c2e161f0eacf839 (diff)
downloadskribilo-d4360259d60722eaa175a483f792fce7b8c66d97.tar.gz
skribilo-d4360259d60722eaa175a483f792fce7b8c66d97.tar.lz
skribilo-d4360259d60722eaa175a483f792fce7b8c66d97.zip
slide: Propagate the `outline?' parameter in `slide-(sub)?topic'.
* src/guile/skribilo/package/slide.scm (slide-topic): Propagate the `outline?' parameter as an option. (slide-subtopic): Likewise. git-archimport-id: skribilo@sv.gnu.org--2006/skribilo--devo--1.2--patch-1
Diffstat (limited to 'skribe/etc/bigloo/autoconf/blibdir')
-rwxr-xr-xskribe/etc/bigloo/autoconf/blibdir36
1 files changed, 0 insertions, 36 deletions
diff --git a/skribe/etc/bigloo/autoconf/blibdir b/skribe/etc/bigloo/autoconf/blibdir
deleted file mode 100755
index 603d484..0000000
--- a/skribe/etc/bigloo/autoconf/blibdir
+++ /dev/null
@@ -1,36 +0,0 @@
-#!/bin/sh
-#*=====================================================================*/
-#* serrano/prgm/project/scribe/autoconf/blibdir */
-#* ------------------------------------------------------------- */
-#* Author : Manuel Serrano */
-#* Creation : Tue Jan 12 14:53:33 1999 */
-#* Last change : Wed Aug 7 21:41:48 2002 (serrano) */
-#* ------------------------------------------------------------- */
-#* Find out the directory where Bigloo library is read. */
-#*=====================================================================*/
-bigloo=bigloo
-
-#*---------------------------------------------------------------------*/
-#* We parse the arguments */
-#*---------------------------------------------------------------------*/
-while : ; do
- case $1 in
- "")
- break;;
- --bigloo=*|-bigloo=*)
- bigloo="`echo $1 | sed 's/^[-a-z]*=//'`";;
-
- -*)
- echo "Unknown option \"$1\", ignored" >&2;;
- esac
- shift
-done
-
-#*---------------------------------------------------------------------*/
-#* We spawn a bigloo process to check its version number */
-#*---------------------------------------------------------------------*/
-$bigloo -q -eval "(begin (print *ld-library-dir*) (exit 0))"
-
-exit 0
-
-