Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Error message is given for make distclean as generated_src is a direc…
…tory generated_src is a directory and should be removed with the -rf flag. Similar for other directories like bin, objects, lib, html latex, objects. Directories man, rtf, perlmod, xml have been added for convenience (when testing with other documentation formats)
- Loading branch information