From b82334e57e91cbe223dee8c1a7acae10dbd70065 Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Sat, 21 Sep 2013 12:33:06 -0400 Subject: build: Remove GNU Info index. --- (limited to 'format') -- cgit v0.9.1