diff options
Diffstat (limited to 'makeDoc.sh')
| -rwxr-xr-x | makeDoc.sh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/makeDoc.sh b/makeDoc.sh deleted file mode 100755 index c0ea143..0000000 --- a/makeDoc.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/usr/bin/env bash -rm -f document.md - array=("Building-and-running-explained.md" "Makefile-explained.md" "Project-structure-explained.md" "Boot-explained.md" "MMU-explained.md" "PSRs-explained.md" "Ramfs-explained.md" "Exception-vector-explained.md" "IRQ-explained.md" "processor-modes-explained.md" "Scheduler-explained.md" "Linker-scripts-explained.md" "Miscellaneous.md" "Sources.md") - echo "# Raspberry PI MMU project" >> document.md - echo "//TODO insert [TOC] here" >> document.md -for file in "${array[@]}" -do - cat docs/$file >> document.md -done |