Y el martes 10 de julio, Santiago Vila escribió: > Luis Arocha: > > > Y eso que sólo se trata de indicar en algun sitio que la documentación > > en vez de ir en /usr/share/gnome debe ir en /usr/share/doc ...Si llega a > > ser algo más dificil... > > Puedes olvidarte de toda la parafernalia del Makefile.am, Makefile.in, etc. > Todo eso son detalles internos de implementación. Básicamente puedes > hacer dos cosas: a) Si el script configure acepta alguna opción para > decirle dónde quieres la documentación, úsala. b) Si no, siempre > puedes añadir un poco de código en el debian/rules que arregle las > cosas en el debian/tmp (o donde sea) después del $(MAKE) install y > antes del "dpkg --build debian/tmp ..". Gracias. Algo así se me ocurrió justo después de mandar la solicitud de ayuda (opción b). También son ganas de buscarse problemas cuando se puede tomar por el camino más fácil. :-) De todas maneras comprobaré si existe alguna opción para indicarle el destino de la documentación (opción a) > > (No, yo no uso debhelper, si no se entiende lo que digo tendrás que > traducirlo tú mismo, lo siento :-) Se te entiende. :-) Gracias, Santiago Saludos -- O / >O >O >O >O O / O / O / O / >O Luis Arocha, "Data" \__|/____|__|__|__|/ \__|/__|/__|/__|/____|/ larocha at wanadoo.es \ \ \ \ \ Islas Canarias \ \ \ \ \ Spain
Attachment:
pgp5J6tWBKt_x.pgp
Description: PGP signature