equal
deleted
inserted
replaced
466 graph_io.dox \ |
466 graph_io.dox \ |
467 dirs.dox \ |
467 dirs.dox \ |
468 gwrappers.dox \ |
468 gwrappers.dox \ |
469 ../src/lemon \ |
469 ../src/lemon \ |
470 ../src/lemon/concept \ |
470 ../src/lemon/concept \ |
|
471 ../src/demo \ |
471 ../src/test/test_tools.h |
472 ../src/test/test_tools.h |
472 |
473 |
473 # If the value of the INPUT tag contains directories, you can use the |
474 # If the value of the INPUT tag contains directories, you can use the |
474 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp |
475 # FILE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp |
475 # and *.h) to filter out the source-files in the directories. If left |
476 # and *.h) to filter out the source-files in the directories. If left |
770 PAPER_TYPE = a4wide |
771 PAPER_TYPE = a4wide |
771 |
772 |
772 # The EXTRA_PACKAGES tag can be to specify one or more names of LaTeX |
773 # The EXTRA_PACKAGES tag can be to specify one or more names of LaTeX |
773 # packages that should be included in the LaTeX output. |
774 # packages that should be included in the LaTeX output. |
774 |
775 |
775 EXTRA_PACKAGES = |
776 EXTRA_PACKAGES = amsmath \ |
|
777 amssymb |
776 |
778 |
777 # The LATEX_HEADER tag can be used to specify a personal LaTeX header for |
779 # The LATEX_HEADER tag can be used to specify a personal LaTeX header for |
778 # the generated latex document. The header should contain everything until |
780 # the generated latex document. The header should contain everything until |
779 # the first chapter. If it is left blank doxygen will generate a |
781 # the first chapter. If it is left blank doxygen will generate a |
780 # standard header. Notice: only use this tag if you know what you are doing! |
782 # standard header. Notice: only use this tag if you know what you are doing! |