* Makefile.dist: Fix Rich damage; undo "configure" changes in
authorJohn Gilmore <gnu@cygnus>
Sun, 19 May 1991 14:57:22 +0000 (14:57 +0000)
committerJohn Gilmore <gnu@cygnus>
Sun, 19 May 1991 14:57:22 +0000 (14:57 +0000)
commite73dbe5d3bb430a168a48e977dec2ab757c4536c
treecd312cea8fea23b9a170673d55e743cbed2d8753
parent49e40d8a8e842384088fefaf316a9e7c77f66f41
    * Makefile.dist:  Fix Rich damage; undo "configure" changes in
        favor of keeping the (working) config.gdb.  Move readline
        library up a notch.
gdb/Makefile.dist
gdb/Makefile.in