# File lib/puppet/util/rdoc/generators/puppet_generator.rb, line 757
757:         def as_href(from_path)
758:             if @options.all_one_file
759:                 "#" + path
760:             else
761:                 HTMLGenerator.gen_url(from_path, path)
762:             end
763:         end