aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorjvech <jmvalenciae@unal.edu.co>2024-09-21 14:46:03 -0500
committerjvech <jmvalenciae@unal.edu.co>2024-09-21 14:46:03 -0500
commite3040135a5e51baab04070e04f86c22df2867c5c (patch)
tree0e53f2a649d3096a14a4e1772472463f5e968d7a /.gitignore
parent3fc51ee0c8135d95ec422dadd6562bf97261a757 (diff)
doc: Man page for configuration file addedHEADmain
The only concern I have with this file is having the program version matching with the actual program, but it is not critical
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 3faff71..3be73ec 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,7 +5,8 @@ objs/
doc/*
!doc/*.pdf
!doc/*.tex
-!doc/*.1
+!doc/ml.1
+!doc/ml_config.5
*.gdb
utils/*.gpi
*.bin
Feel free to download, copy and edit any repo