diff options
| author | ng0 <ng0@n0.is> | 2019-03-10 17:20:29 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-03-10 17:20:29 +0000 |
| commit | d780cbf97454be7ecfb00cb109274a0f11451159 (patch) | |
| tree | fd5b0edd5408abcbd04d00ef482500b3dc85aa00 /doc/man/.gitignore | |
| parent | 9310c410472230bd5c6da6f2676c7e21e3f92915 (diff) | |
| download | gnunet-d780cbf97454be7ecfb00cb109274a0f11451159.tar.gz gnunet-d780cbf97454be7ecfb00cb109274a0f11451159.zip | |
make html in doc/man using mandoc (sans Toc feature)
Diffstat (limited to 'doc/man/.gitignore')
| -rw-r--r-- | doc/man/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/man/.gitignore b/doc/man/.gitignore index 458457f42..f86ff75d1 100644 --- a/doc/man/.gitignore +++ b/doc/man/.gitignore | |||
| @@ -1,2 +1,3 @@ | |||
| 1 | gnunet.conf.5 | 1 | gnunet.conf.5 |
| 2 | groff_lint.log | 2 | groff_lint.log |
| 3 | *.html | ||