Previous/Menu/Next Buttons

[John Hayes]

Yuri,

I noticed that in some areas on the kdevelop5 manual, the buttons take you
to the kdevelop4 manual instead of the proper kdevelop5 page. Is the fix as
simple as just changing kdevelop4 to kdevelop5?

Cheers,
John