rfc822: Rename bad-header test
[ccan] / Makefile-web
index 6079c9d9faf2cc14f2931f8d0db85401dd705784..10671edc74efa7aa66c806ce25bbe4e4565655bc 100644 (file)
@@ -2,7 +2,6 @@
 WEBDIR=/home/rusty/www/html/ccan
 
 # Ignore EXCLUDE when making webpages.
-REALLY_ALL=$(patsubst ccan/%/_info, %, $(wildcard ccan/*/_info))
 ALL_PAGES=$(patsubst %, $(WEBDIR)/info/%.html, $(REALLY_ALL))
 DIRECT_TARBALLS=$(patsubst %, $(WEBDIR)/tarballs/%.tar.bz2, $(REALLY_ALL))
 DEPEND_TARBALLS=$(patsubst %, $(WEBDIR)/tarballs/with-deps/%.tar.bz2, $(REALLY_ALL))
@@ -13,6 +12,7 @@ JUNKBALLS=$(JUNKDIRS:%=$(WEBDIR)/%.tar.bz2)
 
 upload: fastcheck
        git push origin HEAD:master
+       git push github HEAD:master
 
 clean-tree:
        ! git status --porcelain | grep .