diff --git a/etc/build.props b/etc/build.props
--- a/etc/build.props
+++ b/etc/build.props
@@ -1,15 +1,16 @@
 title = AFP/Tools
 module = $AFP_BASE/tools/lib/classes/afp_tools.jar
 requirements = \
   env:ISABELLE_SCALA_JAR
 sources = \
+  tools/admin/afp_build_hugo.scala \
   tools/admin/afp_build_python.scala \
   tools/migration/afp_migrate_metadata.scala \
   tools/afp_build_site.scala \
   tools/afp_check_roots.scala \
   tools/afp_dependencies.scala \
   tools/afp_tool.scala \
   tools/metadata.scala \
   tools/toml.scala \
   tools/utils.scala
 services = afp.Tools
diff --git a/tools/admin/afp_build_hugo.scala b/tools/admin/afp_build_hugo.scala
new file mode 100644
--- /dev/null
+++ b/tools/admin/afp_build_hugo.scala
@@ -0,0 +1,127 @@
+package afp
+
+
+import isabelle._
+
+
+object AFP_Build_Hugo
+{
+  val default_mirror = "https://github.com/gohugoio/hugo/releases/download/v0.88.1"
+
+  def make_component_name(version: String): String = "hugo-" + version
+
+  def make_archive_name(release: String, platform: Platform.Family.Value): String =
+  {
+    val arch = platform match {
+      case isabelle.Platform.Family.linux_arm => error("ARM platform not supported")
+      case isabelle.Platform.Family.linux => "Linux-64bit"
+      case isabelle.Platform.Family.macos => "macOS-64bit"
+      case isabelle.Platform.Family.windows => "Windows-64bit"
+    }
+    "hugo_extended_" + release + "_" + arch + ".tar.gz"
+  }
+
+  def build_hugo(
+    progress: Progress = new Progress,
+    mirror: String = default_mirror,
+    target_dir: Path = Path.current): Unit =
+  {
+    Isabelle_System.with_tmp_dir("hugo") { tmp_dir =>
+      /* component */
+
+      val Version = """^.*?v([^/]+)$""".r
+      val version =
+        mirror match {
+          case Version(version) => version
+          case _ => error("Failed to determine component version from " + quote(mirror))
+        }
+
+      val component = make_component_name(version)
+      val component_dir = Isabelle_System.new_directory(target_dir.absolute + Path.basic(component))
+      progress.echo("Component " + component_dir)
+
+
+      /* platform */
+
+      val platform_name =
+        proper_string(Isabelle_System.getenv("ISABELLE_PLATFORM64")) getOrElse
+          error("No 64bit platform")
+
+      val platform_dir = Isabelle_System.make_directory(component_dir + Path.basic(platform_name))
+
+
+      /* archive */
+
+      val platform = Platform.Family.values.find(Platform.Family.standard(_) == platform_name).get
+
+      val archive_name = make_archive_name(version, platform)
+
+
+      /* download */
+
+      val archive_path = tmp_dir + Path.basic(archive_name)
+      val download_url = mirror + "/" + archive_name
+      Isabelle_System.download_file(download_url, archive_path, progress = progress)
+
+      Isabelle_System.bash("tar xzf " + File.bash_path(archive_path), cwd = tmp_dir.file).check
+
+
+      /* install */
+
+      Isabelle_System.copy_file(tmp_dir + Path.explode("hugo"), platform_dir)
+      Isabelle_System.copy_file(tmp_dir + Path.explode("LICENSE"), component_dir)
+
+
+      /* settings */
+
+      val etc_dir = Isabelle_System.make_directory(component_dir + Path.basic("etc"))
+      File.write(etc_dir + Path.basic("settings"),
+        """# -*- shell-script -*- :mode=shellscript:
+
+ISABELLE_HUGO="$COMPONENT/$ISABELLE_PLATFORM64"
+""")
+
+
+      /* README */
+
+      File.write(component_dir + Path.basic("README"),
+        "This Isabelle components provides a hugo extended " + version +
+          """ component from """ + mirror + """
+
+        Fabian
+        """ + Date.Format.date(Date.now()) + "\n")
+    }
+  }
+
+  val isabelle_tool =
+    Isabelle_Tool(
+      "afp_build_hugo",
+      "build afp hugo component",
+      Scala_Project.here,
+      args => {
+        var target_dir = Path.current
+        var mirror = default_mirror
+
+        val getopts = Getopts(
+          """
+Usage: isabelle afp_build_hugo [OPTIONS]
+
+  Options are:
+    -D DIR       target directory (default ".")
+    -U URL       release mirror
+                 (default """ + mirror + """)
+
+  Build extended hugo component.
+""",
+          "D:" -> (arg => target_dir = Path.explode(arg)),
+          "U:" -> (arg => mirror = arg)
+        )
+
+        getopts(args)
+
+        val progress = new Console_Progress()
+
+        build_hugo(progress = progress, mirror = mirror, target_dir = target_dir)
+      }
+    )
+}
\ No newline at end of file
diff --git a/tools/afp_tool.scala b/tools/afp_tool.scala
--- a/tools/afp_tool.scala
+++ b/tools/afp_tool.scala
@@ -1,18 +1,19 @@
 package afp
 
 
 import isabelle._
 
 import afp.migration._
 
 
 class Admin_Tools extends Isabelle_Scala_Tools(
   AFP_Migrate_Metadata.isabelle_tool,
   AFP_Build_Python.isabelle_tool,
+  AFP_Build_Hugo.isabelle_tool,
 )
 
 class Tools extends Isabelle_Scala_Tools(
   AFP_Build_Site.isabelle_tool,
   AFP_Check_Roots.isabelle_tool,
   AFP_Dependencies.isabelle_tool,
 )