Changed font-size for PDF output from 10pt to 12pt
authorAdam Dickmeiss <adam@indexdata.dk>
Mon, 25 Aug 2008 12:33:33 +0000 (14:33 +0200)
committerAdam Dickmeiss <adam@indexdata.dk>
Mon, 25 Aug 2008 12:33:33 +0000 (14:33 +0200)
commitce78f3f5d21a07cbc03348572788899ce11e4739
treefdcd27dcb3eb403406dac10d817c7b5a8b871b39
parent8dd5c043d15bb050eacd9ebb9a49cacf60164086
Changed font-size for PDF output from 10pt to 12pt
doc/Makefile.am