Commits 3093

remove docs from SUBDIRS
Franz Hsieh • 7 years ago  
cleanup unnecessary subdir phony
Franz Hsieh • 7 years ago