Enchiladas with vegetables

1 tablespoon vegetable shortening (rounded) 1 tablespoon flour, all-purpose 2 tablespoons red pepper flakes 2 cups water 1 x corn tortillas * 2 pounds ground[...]

12 each corn tortillas (6-inch) * 4 tablespoons vegetable oil or lard 1 each garlic clove 1 tablespoon flour, all-purpose 4 cups green chili pepper sauce 1 x[...]

12 each corn tortillas * 4 tablespoons vegetable oil or lard 1Clove garlic * 1 tablespoon flour, all-purpose 4 cups chili sauce green 1 each salt to taste * 2[...]