Hi,
> Let's say I have some file, "somefile.c", in my project.
>
> htags, at some point, creates the following HTML file for it:
>
>   HTML/S/793.html
>
> But then I modify the project and the file name changes to:
>
>   HTML/S/849.html

Did you invoke gtags + htags like this?

$ gtags
$ htags

In this case, gtags(1) assigns file's number again.
How about using incremental updating?

(after updating project)
$ gtags -i      # incremental updating
$ htags

In this case, existing file names are not changed.

Regards,
Shigio
-- 
Shigio YAMAGUCHI <shi...@gnu.org>
PGP fingerprint: D1CB 0B89 B346 4AB6 5663  C4B6 3CA5 BBB3 57BE DDA3
_______________________________________________
Help-global mailing list
Help-global@gnu.org
https://lists.gnu.org/mailman/listinfo/help-global

Reply via email to