diff options
| author | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-13 23:33:22 +0100 |
|---|---|---|
| committer | Amlal El Mahrouss <amlal@nekernel.org> | 2026-02-13 23:33:22 +0100 |
| commit | 2778b1bb5d2ba85dca4ee52a54ba9766f69e30c3 (patch) | |
| tree | fc375dfc9eb727949020767dda35d72e8c2b9c6c | |
| parent | 1f075066018299c623c819e7edd9e250f178d971 (diff) | |
feat: improve OCaml scripts. (tools), rename drafts to articles (fs).
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
| -rw-r--r-- | articles/.keep (renamed from drafts/.keep) | 0 | ||||
| -rw-r--r-- | tools/.gitignore | 1 | ||||
| -rw-r--r-- | tools/addentry.ml | 2 | ||||
| -rw-r--r-- | tools/addpaper.ml | 2 |
4 files changed, 3 insertions, 2 deletions
diff --git a/drafts/.keep b/articles/.keep index e69de29..e69de29 100644 --- a/drafts/.keep +++ b/articles/.keep diff --git a/tools/.gitignore b/tools/.gitignore new file mode 100644 index 0000000..261b053 --- /dev/null +++ b/tools/.gitignore @@ -0,0 +1 @@ +*.cmo diff --git a/tools/addentry.ml b/tools/addentry.ml index 21f5d6f..a00dd28 100644 --- a/tools/addentry.ml +++ b/tools/addentry.ml @@ -34,4 +34,4 @@ let () = else ( printf "addentry: Add paper Makefile entry.\n"; printf "addentry: usage: <file_index> <paper_name_index>\n" - )
\ No newline at end of file + );; diff --git a/tools/addpaper.ml b/tools/addpaper.ml index 457524e..1e281a3 100644 --- a/tools/addpaper.ml +++ b/tools/addpaper.ml @@ -56,4 +56,4 @@ let () = if Array.length Sys.argv >= 5 then else ( printf "addpaper: Creates papers for TeX.\n"; printf "addpaper: usage: <file_name> <document_title>\n" - ); + );; |