Document the maximum include filename length

[telmich]

Hello,

trying to include a file named action_netfpga_dummy.p4 fails with an error claiming that the file does not exist, while it actually exists. Changing the include as follows, makes my code compile:

• #include "action_netfpga_dummy.p4"

• #include "netpfga.p4"

So I wonder, if there is any information on the maximum filename length of includes?l