diff --git a/Packages/Manual/dont_submit b/Packages/Manual/dont_submit new file mode 100644 index 00000000000..d4ec185674e --- /dev/null +++ b/Packages/Manual/dont_submit @@ -0,0 +1,34 @@ +doc_tex_skel +INSTALL +README +changes.txt +web_pages +scripts/autotest_cgal_manual +scripts/backslash_grep +scripts/bibmerge +scripts/clean_start +scripts/copy_log_files +scripts/create_package_table +scripts/create_test_page +scripts/doublenames +scripts/driver +scripts/driver_html +scripts/driver_tex +scripts/gif_grep +scripts/install_manual_files +scripts/link_html_wrapper +scripts/make_AllMains +scripts/make_docdirs +scripts/make_new_bib_file +scripts/README +scripts/ref_grep +scripts/rmbibcomments +scripts/test_driver +scripts/test_html +scripts/test_tex +scripts/to_dvi +scripts/to_html +scripts/to_html_w_parts +scripts/to_pdf +scripts/to_postscript +scripts/to_postscript_letter