You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This is the Rendeiro lab manual, with all the information about the lab's culture and procedures.
11
6
@@ -17,30 +12,11 @@ It can be maintained and edited by anyone on Github.
17
12
18
13
## Building the manual
19
14
20
-
A [Makefile](https://github.com/rendeirolab/lab-manual/blob/main/manual/Makefile) is available in the [`lab-manual repository`](https://github.com/rendeirolab/lab-manual/tree/main/manual).
15
+
A [Makefile](https://github.com/rendeirolab/lab-manual/blob/main/Makefile) is available to manage the development process.
21
16
22
-
Converting the manual to a single HTML file:
17
+
The `build` target, converts the manual to a single HTML file using pandoc, and `wkhtmltopdf` is used to make a PDF file.
23
18
24
-
```bash
25
-
pandoc \
26
-
--toc \
27
-
--metadata-file=metadata.yaml \
28
-
--css style.css \
29
-
-s README.md manual/*.md \
30
-
-o rendeiro-lab_manual.html
31
-
```
32
-
33
-
Converting the manual to a single PDF file (requires wkhtmltopdf dependency):
0 commit comments