/*!
\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:
- Draw the \b profile of the extrusion. It can be:
- a \b Sketch drawn on a planar face of the object you want to cut.
- any closed edge or wire of the desired shape (circle, ellipse ...).
- In the Main Menu select Operations - > Extruded Cut or click on
\image html extruded_cut.png
- 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 optionnaly:
- 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),
*/