From 0becf7642cd296ab7963b5672b649afc5eaf3d49 Mon Sep 17 00:00:00 2001 From: Ludovic Court`es Date: Wed, 30 Aug 2006 09:15:24 +0000 Subject: Removed the `etc' directory, kept `ChangeLog' and `skribe-config.in'. git-archimport-id: lcourtes@laas.fr--2005-libre/skribilo--devo--1.2--patch-52 --- etc/skribe-config | 64 ------------------------------------------------------- 1 file changed, 64 deletions(-) delete mode 100644 etc/skribe-config (limited to 'etc/skribe-config') diff --git a/etc/skribe-config b/etc/skribe-config deleted file mode 100644 index d12312b..0000000 --- a/etc/skribe-config +++ /dev/null @@ -1,64 +0,0 @@ -#!/bin/sh -# -# Author: Erick Gallesio [eg@essi.fr] -# Creation date: 19-Nov-2003 21:04 (eg) -# Last file update: 19-Nov-2003 22:29 (eg) - - -function usage() -{ - cat <&2 -fi - -while test $# -gt 0; do - case $1 in - --prefix|-p) - echo /usr/local - ;; - --version|-v) - echo 1.2d - ;; - --extension-dir|-e) - echo /usr/local/share/skribe/extensions - ;; - --skr-dir|-k) - echo /usr/local/share/skribe/1.2d/skr - ;; - --doc-dir|-d) - echo /usr/local/doc/skribe-1.2d - ;; - --emacs-dir|-m) - echo /users/serrano/emacs/site-lisp/bigloo - ;; - --scheme|-s) - echo bigloo - ;; - --help|-h|-\?) - usage 0 1>&2 - ;; - *) - echo "bad option $1" 1>&2 - usage 1 1>&2 - ;; - esac - shift -done -exit 0 - -- cgit v1.2.3