# File lib/puppet/util/rdoc/generators/puppet_generator.rb, line 824
824:     def as_href(from_path)
825:       if @options.all_one_file
826:         "##{path}"
827:       else
828:         HTMLGenerator.gen_url(from_path, path)
829:       end
830:     end