#1560
#1560

Updating lino_local.py in docs
lino-framework/book,lsaffre/lino_book,khchine5/book,lino-framework/book,lino-framework/book,lsaffre/lino_book,khchine5/book,lino-framework/book,lsaffre/lino_book,khchine5/book