Template:Category redirect/doc

Instructions
Example: To redirect from Category:Authors to Category:Writers, simply add the following to Category:Authors:
 * or
 * with optional namespace prefix

This template adds category pages to Category:Wikipedia soft redirected categories.

If a category redirect exists but is not likely to be useful (see criteria in WP:Category redirects that should be kept), tag it with db-c1 for deletion.

Exceptions

 * Non-empty categories will be listed at.
 * Infinite loops of length 1 will be listed at under ∞.
 * Redirects with non-existent targets will be listed at under ∃.

TemplateData
{	"params": { "1": {			"label": "Destination category", "description": "Category that this category should redirect to", "example": "Writers", "type": "wiki-page-name", "required": true },		"nocat": {} },	"description": "Marks category as a soft-redirect", "format": "inline" }