doc: remove needless hidden file

rpmlint reports "W: hidden-file-or-dir ..."
mroonga · Sep 24, 2013 · ca4ec37 · ca4ec37
1 parent 138f3dc
commit ca4ec37
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/doc/files.am b/doc/files.am
@@ -135,7 +135,6 @@ mo_files_relative_from_locale_dir = \
 	$(NULL)
 
 html_files_relative_from_locale_dir = \
-	html/.buildinfo \
 	html/_images/storage-mode.png \
 	html/_images/wrapper-mode.png \
 	html/_sources/characteristic.txt \

diff --git a/doc/update-files.sh b/doc/update-files.sh
@@ -62,5 +62,5 @@ find "themes" -type f | \
 
 # output files
 ## HTML file path list relative from locale/$LANG/ dir.
-(cd locale/en; find html -type f) | \
+(cd locale/en; find html -type f -not -name '.buildinfo') | \
     list_paths "html_files_relative_from_locale_dir"