build: retracting texinfo manual output