/*! \page extruded_cut_operation_page Extruded cut The Extruded cut operation allows you to easily remove material from a \b solid by extruding a profile along the normal to its plane. \image html extruded_cut_example.png To produce the extruded cut:
  1. Draw the \b profile of the extrusion. It can be:
  2. In the Main Menu select Operations - > Extruded Cut or click on \image html extruded_cut.png
  3. Fill in the dialog box fields: \image html extruded_cut_dlg.png
The input arguments are: - The initial shape you want to cut. It must be a solid or a compound made of a single solid. - The \b profile. It must be a \b closed edge or wire and it must be \b planar. - The \b height of extrusion. It's calculated from the base profile along the normal to its plane. And optionally: - A draft angle in degrees. Activated by clicking on \image html draft.png The direction can be reversed by pushing the Change direction button: \image html change_direction.png This functionality is available via the textual interface with the command: \n TUI Command: geompy.MakeExtrudedCut(InitShape, Profile, Height,Angle), */