Added workaround for broken texinfo references
authorDmitry Kalyanov <Kalyanov.Dmitry@gmail.com>
Sun, 30 Aug 2009 13:41:45 +0000 (17:41 +0400)
committerDmitry Kalyanov <Kalyanov.Dmitry@gmail.com>
Sun, 30 Aug 2009 13:54:20 +0000 (17:54 +0400)
commit2d38fb77c71cc1082a1aaaea02c978f251d9d491
tree51a7f2012b28d36bf096176f40403b4aab89c57f
parent19a35e5b220d152a8134f66480bc01016cc8802c
Added workaround for broken texinfo references
doc/Makefile
doc/fix-tex-references-1.sh [new file with mode: 0755]
doc/fix-tex-references.sh [new file with mode: 0755]