Register the main target
This commit is contained in:
parent
0897b81c60
commit
4022b50810
1
doc/manual/.gitignore
vendored
Normal file
1
doc/manual/.gitignore
vendored
Normal file
|
@ -0,0 +1 @@
|
|||
/manual.html
|
Loading…
Reference in New Issue
Block a user