Skip to content
Snippets Groups Projects
Commit f098ebc3 authored by Pierre Roux's avatar Pierre Roux
Browse files

[tutorial] Add make rule for generating PDF

parent 049df491
No related branches found
No related tags found
1 merge request!191Draft: Initiate a Prosa Tutorial
Pipeline #78247 passed
Stage: build
Hide whitespace changes
Inline Side-by-side
scripts/Makefile.alectryon
+ 5
− 0
View file @ f098ebc3
...@@ -9,3 +9,8 @@ tutorial: $(VOFILES) doc/tutorial.v ...@@ -9,3 +9,8 @@ tutorial: $(VOFILES) doc/tutorial.v
$(SHOW)'Compiling the tutorial with alectryon: doc/tutorial.v -> html/tutorial.html' $(SHOW)'Compiling the tutorial with alectryon: doc/tutorial.v -> html/tutorial.html'
$(HIDE)mkdir -p html $(HIDE)mkdir -p html
$(HIDE)alectryon -R . prosa --frontend coq+rst --backend webpage --output-directory "html" doc/tutorial.v $(HIDE)alectryon -R . prosa --frontend coq+rst --backend webpage --output-directory "html" doc/tutorial.v
tutorial-pdf: $(VOFILES) doc/tutorial.v
$(SHOW)'Compiling the tutorial with alectryon: doc/tutorial.v -> doc/tutorial.pdf'
$(HIDE)alectryon -R . prosa --frontend coq+rst --backend latex --output-directory "doc" doc/tutorial.v
$(HIDE)cd doc && pdflatex tutorial.tex
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