[bootlin/training-materials] 788fd0: agenda: fixup autotools online agenda to use the r...

[Thomas Petazzoni]

  Branch: refs/heads/master
  Home:   https://github.com/bootlin/training-materials
  Commit: 788fd0c408d52dee00bc3f3bc3c2a5ecb42f4bad
      https://github.com/bootlin/training-materials/commit/788fd0c408d52dee00bc3f3bc3c2a5ecb42f4bad
  Author: Thomas Petazzoni <thomas.petazzoni at bootlin.com>
  Date:   2023-01-05 (Thu, 05 Jan 2023)

  Changed paths:
    M agenda/autotools-online-agenda.tex

  Log Message:
  -----------
  agenda: fixup autotools online agenda to use the right pedagogics

Signed-off-by: Thomas Petazzoni <thomas.petazzoni at bootlin.com>