gnome-shell-extension-autohidetopbar for Debian
-----------------------------------------------

Upstream does not ship tarballs, so use make -f debian/rules get-orig-source to
retrieve the tarball used for packaging.

To retrieve the latest upstream version, or any older version you can set the
date with the VER variable, set to the format YYYYMMDD.

For example,
  VER=$(date +%Y%m%d) make -f debian/rules get-orig-source
will fetch the latest upstream version (at least commits up to today midnight)

 -- Tobias Frost <tobi@coldtobi.de>  Fri, 31 Jan 2014 18:42:45 +0100
