#!/bin/sh

set -eu

debci_base_dir=$(readlink -f $(dirname $(readlink -f $0))/../..)
. "$debci_base_dir/lib/environment.sh"


if [ -d $debci_html_dir ]; then
  cd $debci_html_dir
  if [ -d packages ]; then
    mv -f packages packages.off
    echo "$(pwd)/packages.off is now unused, and can be removed"
  fi
fi
