#! /usr/bin/awk -f
# Generate sorted list of directories. The sorting is stable but with
# dependencies between directories resolved by moving dependees in front.
-# Copyright (C) 1998-2015 Free Software Foundation, Inc.
+# Copyright (C) 1998-2016 Free Software Foundation, Inc.
# Written by Ulrich Drepper <drepper@cygnus.com>, 1998.
BEGIN {