Ignoring "-docs" directory, instead of "doc" (since it has been renamed in the Makefile).
Ignoring "-docs" directory, instead of "doc" (since it has been renamed in the Makefile).

Daru13/RubEns,Daru13/RubEns