###--------------------------------------------------------------------------
### Documentation.
-info_TEXINFOS = common.texi
+info_TEXINFOS = common.texi
###--------------------------------------------------------------------------
### Other special tweaks.