]> granicus.if.org Git - sudo/commit
For cat pages there is nothing to make unless DEVEL is set.
authorTodd C. Miller <Todd.Miller@courtesan.com>
Wed, 15 Aug 2012 19:10:50 +0000 (15:10 -0400)
committerTodd C. Miller <Todd.Miller@courtesan.com>
Wed, 15 Aug 2012 19:10:50 +0000 (15:10 -0400)
commitc2b6033c7a45a0b0e982a8843be669a5bd27cd1f
treea41acab10e7e19951fa70cfdcd8d6144cf934480
parent1e43242b33829419d23136d92f99296b37a57d0c
For cat pages there is nothing to make unless DEVEL is set.
doc/Makefile.in