← Back to branch summary

~ubuntu-branches/ubuntu/utopic/agda-stdlib/utopic-proposed

« back to all changes in this revision

Viewing changes to publish-listings.sh

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 09:46:46 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805094646-zqd0c4m8ndngqg6x
Tags: 0.8-1
* [4ca6fd0] Update debian/watch to fetch tarballs from github
* [84d4313] Imported Upstream version 0.8
* [7b08243] debian/control: Require agda 2.4.x per upstream
* [37e7e10] debian/control: Standards-Version → 3.9.5, no changes required.
* [9051b9d] Run upstream's "GenerateEverything" script

Show diffs side-by-side

added added

removed removed

Lines of Context:
publish-listings.sh
 
1
#!/bin/bash
 
2
 
 
3
cd /tmp
 
4
git clone git@github.com:agda/agda-stdlib.git
 
5
cd agda-stdlib
 
6
git checkout gh-pages
 
7
git merge master -m "[auto] merge master into gh-pages"
 
8
make listings
 
9
 
 
10
if [ "`git status --porcelain`" != "" ]; then
 
11
  echo "Updates:"
 
12
  git status --porcelain
 
13
  changed=`git status --porcelain | cut -c4-`
 
14
  git add --all -- $changed
 
15
  git commit -m "[auto] updated html listings"
 
16
  git push
 
17
else
 
18
  echo "No changes!"
 
19
fi
 
20
 
 
21
cd ..
 
22
rm -rf agda-stdlib