--- rpl/configure.ac 2015/06/04 19:28:21 1.121 +++ rpl/configure.ac 2015/06/05 16:01:01 1.122 @@ -463,6 +463,8 @@ if test ! -d "$srcdir"/tools/$NCURSES; t do echo Applying patch $i && \ if test $i = "../ncurses-5.9-20140607.patch.gz" ; then \ rm -f Ada95/src/library.gpr; \ + elif test $i = "../ncurses-5.9-20150516.patch.gz"; then \ + rm -f doc/html/man/adacurses-config.1.html; fi && \ gunzip -c $i | patch -p1; done);