MySQL Bugs: #13021: Manual renaming

Bug #13021	Manual renaming
Submitted:	6 Sep 2005 19:21	Modified:	9 Sep 2005 14:46
Reporter:	Pete Morgan	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Server: Documentation	Severity:	S4 (Feature request)
Version:		OS:
Assigned to:	Stefan Hinz	CPU Architecture:	Any

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
This is not a bug but a suggestion.....

I save all my manuals in the ./manuals directory... Can I suggest you rename the file (in my case .chm) from manual.chm to mysql.chm...

This will make it easier to identify what it is... Imagine if everyone maned their manuals manual.* ?;

Regards

Pete
A very happy mysql user ;-)

How to repeat:
see above

We'll introduce a new naming scheme for files very soon:

 refman-<version>-<language>.<format>

Hope this will solve your issues.