Fixes docbook issue with use of synopsis tag

* Use of synopsis tag without specifying a format attribute causes an odd
  error concerning the default "linespecific" value and mutliple notations

* All synopsis tags specify their own format