diff docs/tutorial/scripts.js @ 6138:d5759f574fd9

debian: mark build dependencies only needed for documentation This should allow building without installing these, by passing DEB_BUILD_OPTIONS=nodoc.
author Kim Alvefur <zash@zash.se>
date Fri, 07 Jan 2022 20:10:03 +0100
parents aad37ffd7d58
children
line wrap: on
line diff