private void writeIndexLink(DeprecatedAPIListBuilder builder,
            int type) {
        if (builder.hasDocumentation(type)) {
            li();
            printHyperLink("#" + ANCHORS[type],
                configuration.getText(HEADING_KEYS[type]));
            println();
        }
    }