doc: remove robots, add prereqs
commit93e11f3068837faf19838beca1a8ca0721c3026f
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 8 Jun 2017 14:34:47 +0000 (8 07:34 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 8 Jun 2017 14:35:12 +0000 (8 07:35 -0700)
tree11f9375e182d0d1f4b343fc858b454feda01bb23
parent30459fe101541698ec704acb224946d73676750e
doc: remove robots, add prereqs

* doc/build-automation.texi, doc/gnulib.texi: Mention prereqs for
builds.  Simon's robot site does not seem to be up, so remove
mentions of it for now.
ChangeLog
doc/build-automation.texi
doc/gnulib.texi