diff options
| author | ZHAO Gang <gamerh2o@gmail.com> | 2013-11-06 16:18:15 -0500 |
|---|---|---|
| committer | Jiri Kosina <jkosina@suse.cz> | 2013-12-02 08:49:19 -0500 |
| commit | ac6d662a95a6989d83b259ccf8ec01dd7903af73 (patch) | |
| tree | c882a47c33bc8224e80a0faf3692cbf20f5a1f8a | |
| parent | d9a6ed1fa43859a5eb94725b6c9565f8cbd113ab (diff) | |
doc: Add "*.svg" to DocBook/.gitignore
Mauro add "*.png" and "*.gif" in DocBook/.gitignore in commit 6d172492,
but forgot to add "*.svg", this made git unnecessary to track directory
DocBook/media_api generated by `make htmldocs`:
$ git status
# On branch master
# Untracked files:
# (use "git add <file>..." to include in what will be committed)
#
# Documentation/DocBook/media_api/
nothing added to commit but untracked files present (use "git add" to track)
Add "*.svg" to DocBook/.gitignore so git will not track directory
DocBook/media_api, since there is no file in that directory it interest in.
Signed-off-by: ZHAO Gang <gamerh2o@gmail.com>
Acked-by: Rob Landley <rob@landley.net>
Signed-off-by: Jiri Kosina <jkosina@suse.cz>
| -rw-r--r-- | Documentation/DocBook/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/DocBook/.gitignore b/Documentation/DocBook/.gitignore index 720f245ceb1f..7ebd5465d927 100644 --- a/Documentation/DocBook/.gitignore +++ b/Documentation/DocBook/.gitignore | |||
| @@ -10,5 +10,6 @@ | |||
| 10 | *.out | 10 | *.out |
| 11 | *.png | 11 | *.png |
| 12 | *.gif | 12 | *.gif |
| 13 | *.svg | ||
| 13 | media-indices.tmpl | 14 | media-indices.tmpl |
| 14 | media-entities.tmpl | 15 | media-entities.tmpl |