-
Michal Cadilhac authored
- doc/manual/Makefile.am: Add PDF sources in EXTRA_DIST.
0fafb091
To find the state of this project's repository at the time of any of these versions, check out the tags.
- doc/manual/Makefile.am: Add PDF sources in EXTRA_DIST.