diff options
author | Alistair Thomas <astavale@yahoo.co.uk> | 2017-03-11 21:33:18 +0000 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2017-03-12 14:16:23 +0100 |
commit | dcb8e4aab35db8437e771880dae1ad24ba709738 (patch) | |
tree | e001ec37d0182c2a72f1aa0b518e33ef66c4e1fd /doc/manual/.gitignore | |
parent | d4ae83c3782747e82ac227f97d5217cf47362ea1 (diff) | |
download | vala-dcb8e4aab35db8437e771880dae1ad24ba709738.tar.gz |
manual: Add print target for single page HTML and CSS paged media styling
Diffstat (limited to 'doc/manual/.gitignore')
-rw-r--r-- | doc/manual/.gitignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/.gitignore b/doc/manual/.gitignore index 944f5eeea..fbf57b271 100644 --- a/doc/manual/.gitignore +++ b/doc/manual/.gitignore @@ -1,3 +1,4 @@ +manual.html version.xml -html/ devhelp/ +html/ |