Unneeded file wiped out.
commitb14b2114bbce42fd282648a7adc44a87ca42d4de
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 21 Jun 2010 23:49:19 +0000 (22 01:49 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Mon, 21 Jun 2010 23:49:19 +0000 (22 01:49 +0200)
tree7440bfac851d6f851085644cd7df100561ad515b
parente27e9961e58925e39cd5a19699806aac640abbd1
Unneeded file wiped out.
doc/make-site.sh [deleted file]