updated build of documentation; tests should work even with --dev flag