push @menu, $1;

		push @menu, $1;

	}

	}

	s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;

	s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;

	print TMP;

	print TMP;

}

}

close TMP;

close TMP;