It is now necessary to have the docs built before running "make dist",
so update the nightly script to do that.
# University of Stuttgart. All rights reserved.
# Copyright (c) 2004-2005 The Regents of the University of California.
# All rights reserved.
-# Copyright © 2006-2013 Cisco Systems, Inc. All rights reserved.
+# Copyright © 2006-2014 Cisco Systems, Inc. All rights reserved.
# $COPYRIGHT$
#
# Additional copyrights may follow
# do config
do_command "./configure"
+# because of the doxygen setup, we now much run "make doc" before we
+# run "make dist".
+do_command "make doc"
+
# Do make distcheck (which will invoke config/distscript.csh to set
# the right values in VERSION). distcheck does many things; we need
# to ensure it doesn't pick up any other installs via LD_LIBRARY_PATH.