stan-dev/stan — pull request #284 by syclik (2013-10-16 18:28:56+00:00)
Title: Remove 'dist' target from makefile

For v2.0.0 and on, we're going to check in the manual and the doxygen into the directory and let GitHub package the tar.gz file for us.