 Milan Crha
|
edfcd69747
|
CI: Export also developer documentation into the web pages
|
2024-09-04 09:43:29 +02:00 |
|
|
Milan Crha
|
b1d054d1fb
|
docs: Correct developer documentation to install API indexes
While built, the API indexes were not installed, thus they had been
missing in the developer documentation, even they had been referenced
in it.
|
2024-09-04 08:59:00 +02:00 |
|
|
Milan Crha
|
e52924d937
|
Correct evolution-mail-formatter user documentation build warning
Related to https://gitlab.gnome.org/GNOME/gtk-doc/issues/61
|
2018-10-30 17:04:52 +01:00 |
|
|
Milan Crha
|
28c701389d
|
[devel-doc] Rename api-index IDs, to not clash with gtk-doc generated IDs
This covers bug 784208, gtk-doc generated warnings like this one:
Warning: multiple "IDs" for constraint linkend: api-index-3.2.
|
2018-01-08 15:46:46 +01:00 |
|
|
Milan Crha
|
d17f923f92
|
Reorganize directory structure
Let's have it as it's common to be, which means top level src/ for
sources, single data/ for data, and so on.
|
2016-10-11 19:30:18 +02:00 |
|