doc: dont generate an info page
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 22:38:54 +0000 (17:38 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 22:38:54 +0000 (17:38 -0500)
commit5eaf87659c3f78fb63f2d8119576db7f360ea7a9
tree1a9fb543e870526379ed2cf65538dcc15c164a7f
parent8139606c9cc687505bacac69647541b654a64121
doc: dont generate an info page
doc/Makefile.common
doc/dot.latex2html-init