From af5d5b31625974ab0384ab0b3f301ad804240ed7 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Wed, 07 May 2014 13:17:05 -0400 Subject: build: Disable makeinfo runs. --- (limited to 'copyright') -- cgit v0.9.1