#!/bin/sh

cp -r gnulib/top/. . || cp -r "$GNULIB_SRCDIR/top/." .