diff -r 3370f6aa3200 -r 40f02ebcb3c0 Admin/makerpm
--- a/Admin/makerpm	Mon Sep 11 18:00:47 2000 +0200
+++ b/Admin/makerpm	Mon Sep 11 20:23:24 2000 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -x
 #
 # $Id$
 #
@@ -12,12 +12,12 @@
 DISTBASE=~/tmp/isadist
 ROOT=/usr/share
 BIN=/usr/bin
-RPMRELEASE=2
+RPMRELEASE=1
 
 
 ## diagnostics
 
-PRG=$(basename $0)
+PRG=$(basename "$0")
 
 function usage()
 {
@@ -38,7 +38,7 @@
 
 ## process command line
 
-[ $# -gt 1 ] && usage
+[ "$#" -gt 1 ] && usage
 
 ARCHIVE="$1"; shift
 
@@ -48,7 +48,7 @@
 
 [ ! -f "$ARCHIVE" ] && fail "Bad archive file $ARCHIVE"
 ARCHIVE_BASE=$(basename "$ARCHIVE")
-ARCHIVE_DIR=$(cd $(dirname "$ARCHIVE"); echo $PWD)
+ARCHIVE_DIR=$(cd $(dirname "$ARCHIVE"); echo "$PWD")
 ARCHIVE_FULL=$ARCHIVE_DIR/$ARCHIVE_BASE
 
 ISABELLE_NAME=$(basename "$ARCHIVE_BASE" .tar.gz)
@@ -121,7 +121,6 @@
 the ML compiler and any of the precompiled Isabelle object-logics
 (e.g. package isabelle-HOL).
 
-
 Isabelle is a popular generic theorem proving environment developed at
 Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow).
 The system can be viewed from two main perspectives.  On the one hand
@@ -188,7 +187,6 @@
 This package contains the Isabelle documentation in PDF.  Note that
 the dvi version is already part of the base package.
 
-
 %prep
 
 %build