On 10/5/18 12:09 PM, Roland Hieber wrote: > Hmm, this is unfortunate, there is |ptxdistPlatformConfigDir|, but no > |ptxdistPlatformName| or the like. Would you like to add if to conf.py? > :)
I've done so. Thanks for the suggestion. Cheers Ahmad -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | _______________________________________________ ptxdist mailing list ptxdist@pengutronix.de