From 242174d482ee0135a6585a3d1c5a8f962fc474d8 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Wed, 26 Sep 2018 14:06:46 -0700 Subject: [PATCH] update comment --- pollen/private/ts.rktd | 2 +- pollen/unstable/pygments.rkt | 6 ++++-- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index d1a5076..6dbe502 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1535405509 +1537996006 diff --git a/pollen/unstable/pygments.rkt b/pollen/unstable/pygments.rkt index d765ba9..68fc3c2 100644 --- a/pollen/unstable/pygments.rkt +++ b/pollen/unstable/pygments.rkt @@ -24,9 +24,11 @@ http://github.com/greghendershott/frog YOU MUST HAVE PYGMENTS INSTALLED ALREADY! sudo easy_install --upgrade Pygments -Sample usage in test.html.pm: +Sample usage: -◊(require pollen/highlight) +#lang pollen/markup + +◊(require pollen/unstable/pygments) ◊(make-highlight-css) ; specify language in square brackets