Commit 8102c25c authored by Robert Ricci's avatar Robert Ricci

Add #:version to all of the @titles

Turns out that setting it in the top-level is not enough, so
move it to defs.rkt and use it in ever section
parent 41755d4d
......@@ -2,7 +2,7 @@
@(require "defs.rkt")
@title[#:tag "advanced-topics"]{Advanced Topics}
@title[#:tag "advanced-topics" #:version apt-version]{Advanced Topics}
@section[#:tag "images"]{Disk Images}
......
#lang scribble/manual
@(require racket/date)
@(require "defs.rkt")
@title[#:version "0.1" #:date (date->string (current-date))]{The Apt Manual}
@title[#:version apt-version
#:date (date->string (current-date))]
{The Apt Manual}
@author[
"Robert Ricci" "Leigh Stoller" "Jon Duerig" "Gary Wong" "Keith Downie"
......
......@@ -2,7 +2,7 @@
@(require "defs.rkt")
@title[#:tag "basic-concepts"]{Basic Concepts}
@title[#:tag "basic-concepts" #:version apt-version]{Basic Concepts}
@section[#:tag "profiles"]{Profiles}
......
......@@ -2,6 +2,6 @@
@(require "defs.rkt")
@title{Creating Profiles}
@title[#:version apt-version]{Creating Profiles}
@TODO{This Section To Be Written!}
......@@ -8,6 +8,8 @@
(define apt-base-url "https://www.aptlab.net/")
(define apt-version "1.1")
(define screenshot-width 650)
(define apturl
......
......@@ -2,7 +2,7 @@
@(require "defs.rkt")
@title[#:tag "getting-started"]{Getting Started}
@title[#:tag "getting-started" #:version apt-version]{Getting Started}
This chapter will walk you through running a simple experiment on Apt and
introduce you to some of its basic concepts.
......
#lang scribble/manual
@(require "defs.rkt")
@title[#:tag "hardware"]{Hardware}
@title[#:tag "hardware" #:version apt-version]{Hardware}
@margin-note{Apt does not yet allow users to select which cluster their
experiment is instantiated on---this feature is expected soon.}
......
#lang scribble/manual
@(require "defs.rkt")
@title[#:tag "users"]{Apt Users}
@title[#:tag "users" #:version apt-version]{Apt Users}
You may either use Apt as a @seclink["guest-users"]{guest} or as a
@seclink["registered-users"]{registered user}.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment