Commits 3063

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