-
Astrid Wang authored
* Makefile.am: Fix a bug when compiling without doc-dev. prcs2git-id: 10.5
ef69c5e3
To find the state of this project's repository at the time of any of these versions, check out the tags.
* Makefile.am: Fix a bug when compiling without doc-dev. prcs2git-id: 10.5