doc: Makefile fixes missing from previous checkin
commit792ade225616d5b3ab2cbe1d82af9177704e734f
authorH. Peter Anvin <hpa@zytor.com>
Thu, 12 Jun 2008 01:38:15 +0000 (11 18:38 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Thu, 12 Jun 2008 01:38:15 +0000 (11 18:38 -0700)
treed261625c9ba27c3040f597a53230466c9ce7f106
parent773a513a1d90e98ced3615f1047d4fee1dce8d92
doc: Makefile fixes missing from previous checkin
doc/Makefile.in