* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
authorJuanma Barranquero <lekktu@gmail.com>
Mon, 16 Nov 2009 22:55:14 +0000 (22:55 +0000)
committerJuanma Barranquero <lekktu@gmail.com>
Mon, 16 Nov 2009 22:55:14 +0000 (22:55 +0000)
commitaf42a9cc3816ffea36927c2d2ceea6beec534298
treeeb885a07492dc92e917656624546f7146bbdf7ce
parente3c39c01f5cf08b0a1f1135c0ac721d142cc8a09
* makefile.w32-in (INFO_TARGETS, DVI_TARGETS, clean): Add semantic.
  ($(infodir)/semantic, semantic.dvi): New targets.
doc/misc/ChangeLog
doc/misc/makefile.w32-in