Ubuntu
kile package

  1. Bug #849
  2. Comment #6

Comment 6 for bug 849

Revision history for this message
Rodolfo Azevedo (rodolfo-ic) wrote :

 Yes, this seems to be a good solution. You can use the full Kile
package or Kile-only. For me, it would be very nice to have this
option.