Jean Sirmai 1676f36674 docs/*: integrate doxygen, create a documentation zone, adds notes ... We wanted to have an automated documentation for our project. We choose doxygen since this is a well-established project, with common standards. To generate the documentation, simply type `make docs` and open `docs/html/index.html`. The documentation zone actually contains: - archives: several files from past of the projects, historical purpose - GTK-docs: ressources on GTK internals and API - rtfm: first draft of a user manual - showcase: some pictures of the UI example, that were communicated on the Gem-graph discussion room (XMPP) - html: doxygen-generated docs		2024-11-20 17:54:06 +01:00
..
journal.png	docs/*: integrate doxygen, create a documentation zone, adds notes	2024-11-20 17:54:06 +01:00
widget_design_dialog_window().png	docs/*: integrate doxygen, create a documentation zone, adds notes	2024-11-20 17:54:06 +01:00
widget_get_main_window().png	docs/*: integrate doxygen, create a documentation zone, adds notes	2024-11-20 17:54:06 +01:00
widget_get_selected_rule().png	docs/*: integrate doxygen, create a documentation zone, adds notes	2024-11-20 17:54:06 +01:00
widget_get_selected_rule_algebra().png	docs/*: integrate doxygen, create a documentation zone, adds notes	2024-11-20 17:54:06 +01:00