doc/Makefile: generate library headers with the correct section number
authorStefano Sabatini <stefasab@gmail.com>
Sun, 11 Nov 2012 11:50:44 +0000 (12:50 +0100)
committerStefano Sabatini <stefasab@gmail.com>
Sun, 11 Nov 2012 13:06:27 +0000 (14:06 +0100)
commitc0aff4064d3990d467d976530ef45b51062fb366
treeddd546fa41bb05d0b04093887bda7ff506280599
parent6f78ba8b0b40ce0f4daea4fa6659cdc52bbce400
doc/Makefile: generate library headers with the correct section number
doc/Makefile