* Makefile.am: Remove references to Docbook and friends.
authorBen Elliston <bje@gnu.org>
Sun, 27 Mar 2016 19:51:33 +0000 (06:51 +1100)
committerBen Elliston <bje@gnu.org>
Sun, 27 Mar 2016 19:51:33 +0000 (06:51 +1100)
commita57bfcfb68c3ac388a5ba5b2baca8e8c1195690b
treea5b24208007c77f0397ce44e02f721339a0ee3b1
parentb853fcac564e21d561d8cfbf4a6d5a6f4f3f6fe8
* Makefile.am: Remove references to Docbook and friends.
* configure.ac: Likewise.
* Makefile.in: Regenerate.
* configure: Regenerate.
* doc/dejagnu.xml: Remove.
* doc/legal.xml: Likewise.
* doc/ref.xml: Likewise.
* doc/user.xml: Likewise.
ChangeLog
Makefile.am
Makefile.in
configure
configure.ac
doc/dejagnu.xml [deleted file]
doc/legal.xml [deleted file]
doc/ref.xml [deleted file]
doc/user.xml [deleted file]